TY  - BOOK
AU  - Fitting,Melvin
TI  - First-order logic and automated theorem proving
SN  - 0387972331 (alk. paper)
AV  - QA76.9.A96 F31 1990
U1  - 511.3 20
PY  - 1990///
CY  - New York
PB  - Springer-Verlag
KW  -  
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references (p. [233]-236) and index
ER  -