TY  - GEN
AU  - DUFFY, DAVID A.
TI  - PRINCIPLES OF AUTOMATED THEOREM PROVING/ 
SN  - 0-471-92784-8
U1  - 511.3 D84 
PY  - 1991///
CY  - CHICHESTER: 
PB  - JOHN WILEY
KW  - 1.LOGICA SIMBOLICA Y MATEMATICA
N1  - INCLUYE INDICE. \ BIBLIOGRAFIA: P. 225-232
ER  -