First-Order Logic and Automated Theorem Proving
Language: English
Published by Springer Verlag, New York, 1990
- First Edition
- Hardcover
- Used
Seller: Works on Paper, DeKalb, IL, U.S.A.Works on Paper
AbeBooks seller since October 1, 2003
Condition: Used - Very good
US$ 115.88
Quantity: 1 available
Add to basketItem description from seller
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
- Title
- First-Order Logic and Automated Theorem Proving
- Author
- Fitting, Melvin
- Publisher
- Springer Verlag, New York
- Publication year
- 1990
- Condition
- Very Good
- Dust jacket
- No Jacket
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0387972331
- ISBN 13
- 9780387972336
- Edition
- First Edition
- Series
- Book 28 of 83: Texts in Computer Science
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.
"Synopsis" may belong to another edition of this title.
Works on Paper
DeKalb, IL, U.S.A.
AbeBooks seller since October 1, 2003
Shipping rates within U.S.A.
| Item | 5 to 15 business days | 3 to 7 business days |
|---|---|---|
| First item | US$ 6.50 | US$ 16.00 |
Payment methods
Store description
In order to keep our prices as low as possible we currently conduct business only online.
Seller's business information
Works on Paper
IL, U.S.A.
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 reason whatsoever. (If the book is not as described we will refund the full purchase price, including the original shipping charge.) Please contact us if you wish to make arrangements for payment by check or money order. We will gladly hold books, if requested. You may contact us at (preferably) worksonpaper@frontier.com. (European regulations require that we list our phone contact, which is 779.212.8554; feel free to call and leave a message (please do not be dissuaded by the fact that we do screen calls due to the epidemic of spam): we will return your call and/or text our reply, as you request.) Works on Paper is a sole proprietorship registered with the Illinois Department of Revenue. Thank you for your interest, and happy reading!
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.