First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

$89.10 $99.00
Skip to product information
First-Order Logic and Automated Theorem Proving
  • First-Order Logic and Automated Theorem Proving
First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

$89.10 $99.00

Reliable shipping

Flexible returns

Texts in Computer Science

First-Order Logic and Automated Theorem Proving

Melvin Fitting

Computers / Computer Science

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.

Publication Date: 26 June 2013
Publisher: Springer New York
Imprint: Springer
ISBN-13: 9781461275152
Format: Paperback softback
Page Count: 326

You may also like