Gallier, Jean H. <br/><br/>
Logic for computer science :  foundations of automatic theorem proving / 
Jean H. Gallier. 
 - New York, NY :  Harper & Row,  c1986. 
 - xv, 511 p. ;  25 cm. 
 - Harper & Row computer science and technology series .
<br/><br/>Includes bibliographies and indexes. 
<br/><br/><label>ISBN: </label>0060422254 
<br/><br/><label>Subjects--Topical Terms: </label><br/>mathematical Logic (Symbolic Logic)<br/>Automatic theorem proving.
<br/><br/><label>Dewey Class. No.: </label>511.3  / GAL 1986