First-Order Logic and Automated Theorem Proving
Springer
ISBN13:
9781461275152
$106.87
(No reviews yet)
Write a Review
Springer
First-Order Logic and Automated Theorem Proving
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.
- | Author: Melvin Fitting
- | Publisher: Springer
- | Publication Date: Jun 26, 2013
- | Number of Pages: 326 pages
- | Binding: Paperback or Softback
- | ISBN-10: 1461275156
- | ISBN-13: 9781461275152
- Author:
- Melvin Fitting
- Publisher:
- Springer
- Publication Date:
- Jun 26, 2013
- Number of pages:
- 326 pages
- Binding:
- Paperback or Softback
- ISBN-10:
- 1461275156
- ISBN-13:
- 9781461275152
