TY  - BOOK
AU  - Fitting,Melvin
TI  - First-order logic and automated theorem proving / 
T2  - Tezts and monographs in computer science, 
U1  - B66 
PY  - 1990///
CY  - New York : 
PB  - Springer-Verlag , 
KW  - MATHEMATICAL LOGIC
N1  - NULL
ER  -