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 -