A very good copy of the first hard cover edition (full number line ending with 1), lacking a dust-jacket, no doubt as issued. Previous owner's modest ex-libris stamp to front endsheet, else the text is wholly unmarked, pristine, and the binding bright and fresh in appearance. A sharp copy.

Seller Inventory # 014467

Contact seller

Report this item

Bibliographic Details

Title: First-Order Logic and Automated Theorem Proving
Publisher: Springer Verlag, New York
Publication Date: 1990
Language: English
ISBN 10: 0387972331
ISBN 13: 9780387972336
Binding: Hardcover
Edition: First Edition
Condition: Very Good
Dust Jacket Condition: No Jacket

About this title

Synopsis

This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog programs provided. It will serve both as a first text in formal logic and an introduction to automation issues for students in computer science or mathematics.
The book treats propositional logic, first-order logic, and first-order logic with equality. In each case the initial presentation is semantic, to define the intended subjects independently of the choice of proof mechanism. Then many kinds of proof procedure are introduced. Results such as completeness, compactness, and interpolation are established, and theorem provers are implemented in Prolog. This new edition includes material on AE calculus, Herbrand's Theorem, Gentzen's Theorem, and related topics.

"About this title" may belong to another edition of this title.

Store Description

In order to keep our prices as low as possible we currently conduct business only online.

Visit Seller's Storefront

Seller's business information

Works on Paper
IL, U.S.A.

Sale & Shipping Terms

Terms of Sale

All items are offered subject to prior sale. We accept checks (drawn on U.S. banks) and money orders (in U.S. funds); payment via PayPal (select PayPal upon check-out, and we will invoice you via PayPal); and credit card payment via the ABE Commerce options offered by abebooks.com (Note: ABE processes all credit card payments via its secure servers, so we have no access to your credit card information). All items are may be returned within 14 days days for a full refund of the book price for any...

More Information

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. International shipping rates are based on the assumption that the book will fit in a USPS International Flat Rate Envelope with sufficient protection. Larger books will require additional shipping charges.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 15 business days	3 to 7 business days
First item	US$ 5.50	US$ 10.75

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.