TY  - BOOK
AU  - Fitting,Melvin
TI  - First-order logic and automated theorem proving
SN  - 0387945938 (New York : hardcover : alk. paper)
U1  - 511.3 
PY  - 1996///
CY  - New York
PB  - Springer
KW  - Automatic theorem proving
KW  - Logic, Symbolic and mathematical
N2  - This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. This new edition includes material on AE calculus, Herbrand's theorem, Gentzen's theorem, and related topics
ER  -