DUFFY, DAVID A. <br/><br/>
PRINCIPLES OF AUTOMATED THEOREM PROVING/  
D.A. DUFFY. 
 - CHICHESTER:   JOHN WILEY  1991 
 - XVIII, 243 P.  24 CM. 
<br/><br/> INCLUYE INDICE. \ BIBLIOGRAFIA: P. 225-232. 
<br/><br/><label>ISBN: </label>0-471-92784-8 
<br/><br/><label>Subjects--Topical Terms: </label><br/>1.LOGICA SIMBOLICA Y MATEMATICA.
<br/><br/><label>Dewey Class. No.: </label>511.3 D84