First-order logic and automated theorem proving /
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.
0387945938 (New York : hardcover : alk. paper) 9781461275152
Automatic theorem proving.
Logic, Symbolic and mathematical.
511.3 / FIT
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.
0387945938 (New York : hardcover : alk. paper) 9781461275152
Automatic theorem proving.
Logic, Symbolic and mathematical.
511.3 / FIT