Duffy, David A. <br/><br/>
Principles of automated theorem proving 
David A. Duffy. 
 - Chichester  New York  Wiley  c1991. 
 - xviii, 243 p.  25 cm. 
 - Wiley professional computing .
<br/><br/>Includes bibliographical references (p. 225-232) and index. 
<br/><br/><label>ISBN: </label>0471927848  40.25 (U.S.) 
<br/><br/><label>LCCN: </label>91009103  
<br/><br/><label>Nat. Bib. No.: </label>GB91-33735 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving.
<br/><br/><label>Subjects--Index Terms: </label>Mathematical logic 
<br/><br/><label>LC Class. No.: </label>QA76.9.A96  / D84 1991 
<br/><br/><label>Dewey Class. No.: </label>511.3