00741nam a2200181 a 4500
44674
44674
0387945938 (New York : hardcover : alk. paper)
9781461275152
511.3
FIT
Fitting, Melvin,
First-order logic and automated theorem proving /
2nd ed.
New York :
Springer,
c1996.
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.
REF
0
0
0
0
R
PMD
PMD
REF
2019-08-02
Purchased
13590.00
0
511.3 FIT
015884
2019-08-02
REF