Wow! eBook
First-Order Logic and Automated Theorem Proving Second Edition 1996 Edition
Author(s): Melvin Fitting (Author)
- Publisher: Springer
- Publication Date: 26 Jun. 2013
- Edition: Second Edition 1996
- Language: English
- Print length: 344 pages
- ISBN-10: 1461275156
- ISBN-13: 9781461275152
Book Description
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.
