A Computational Logic (ACM Monograph Series 1979)
Language: English
Published by Academic Press Inc. (ACM Monograph Series), 1979
- Hardcover
- Used
Seller: MB Books, Derbyshire, United KingdomMB Books
AbeBooks seller since June 16, 2020
Condition: Used - Good
US$ 35.39
Quantity: 1 available
Add to basketItem description from seller
Condition : Good. Ex university library with associated markings. Hard cover, no jacket. 397pp. No highlighting or annotations. Scuff to spine as seen in image. Good condition is defined as : structurally sound, text clean, moderate external wear consistent with normal academic use. Still foundational to modern automated reasoning, A Computational Logic remains highly relevant today as formal verification, theorem proving, and provably correct software have become essential in AI, cybersecurity, and safety‑critical systems Photos on request.
Seller Inventory # 944998
- Title
- A Computational Logic (ACM Monograph Series 1979)
- Author
- Robert S. Boyer; J. Strother Moore
- Publisher
- Academic Press Inc. (ACM Monograph Series)
- Publication year
- 1979
- Condition
- Good
- Dust jacket
- No Jacket
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0121229505
- ISBN 13
- 9780121229504
- Seller catalogs
- Core Academic & Social Sciences, Science, Engineering & Mathematics
"Synopsis" may belong to another edition of this title.
MB Books
Derbyshire, United Kingdom
AbeBooks seller since June 16, 2020
Shipping rates from United Kingdom to U.S.A.
| Item | 5 to 10 business days | 14 to 45 business days |
|---|---|---|
| First item | US$ 29.07 | US$ 29.07 |
Payment methods
Store description
I am a small on-line independent book seller. I have enjoyed matching books up to the people who want them since 2002. My current inventory is mainly made up of ex-academic library books.
Specialty
literary criticism, Academic books, text books, languages, history, biographies, art, science, mathematicalSeller's business information
MB Books
United Kingdom
Terms of sale
I welcome payment through the ABE website and also through PayPal using charlotte@justlotsof books.co.uk
If you select payment through PayPal, I will get back to you with a money request through the PayPal website.
Alternatively please send the total using the 'send money' option in your PayPal account using charlotte@justlotsofbooks.co.uk as recipient.
I will ship orders as soon as payment is made.
If for any reason you are not satified with your order, please contact me at books@justlotsofbooks.co.uk
Returns are accepted when initiated within 30 days of the estimated delivery date. Please do contact me if you have any queries.
Shipping terms
Books will be dispatched in protective padded envelopes from my UK premises. I aim to ship within 2 business days. Shipping costs are based on books weighing up to 2.2 LB, or 1 KG. Occasionally If your book weighs significantly more,I may contact you to let you know extra shipping is required. You will be given the option to accept or decline the extra postage cost in this instance.