Gallier, Jean H. <br/><br/>
Logic for computer science :  foundations of automatic theorem proving / 
Jean H. Gallier 
 - New York :  John Wiley & Sons,  1987 
 - 511 p. ;  23 cm. 
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>0471615463 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving<br/>Logic, Symbolic and mathematical