First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

By Melvin Fitting

Book Overview

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387945938
• ISBN13: 9780387945934
• Release Date: January 1995
• Publisher: Springer
• Length: 348 Pages
• Weight: 1.65 lbs.
• Dimensions: 9.2" x 0.9" x 6.1"