TY  - BOOK
AU  - FITTING,MELVIN
TI  - FIRST ORDER LOGIC AND AUTOMATED THEOREM PROVING (TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE)
SN  - KBCS
U1  - 904 
PY  - 1990///
CY  - NEW YORK
PB  - SV
N1  - BR-737
ER  -