Duffy David A. <br/><br/>
Principles of Automated Therem Proving / David A. Duffy 

 - Canada : John Willey & sons 
 - xi, 243p. / 23.5 cm 
<br/><br/><label>ISBN: </label>0 471 92784 8 
<br/><br/><label>LC Class. No.: </label>QA76.9 A96 D858 
<br/><br/><label>Dewey Class. No.: </label>511.3 D472p