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 |
Related Products
