The book is currently out of stock
Parameters
More about the book
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.
Book purchase
First order logic and automated theorem proving, Melvin Fitting
- Language
- Released
- 1996
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.