First-order logic and automated theorem proving
Fitting, Melvin
creator
text
New York
Springer
c1996
2nd ed.
monographic
xvi, 326 p. : ill. ;
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.
Automatic theorem proving
Logic, Symbolic and mathematical
511.3 FIT
0387945938 (New York : hardcover : alk. paper)
9781461275152