Description
Automated Deduction in Multiple-Valued Logics Author: Hähnle, Reiner Title: Automated Deduction in Multiple-Valued Logics Publication: Oxford University Press, 1993 Edition: First edition Description: Hardcover. First Edition. c.1993. Hardcover. Dark blue cloth, gilt titles. 8vo. 172pp. Light spotting to edges of text block, else Fine. Fine. Seller ID: C000012359 Subject: Math & Logic RAREBOOKSTORE RareBookStore is a long-established eBay seller specializing in used and rare books in all fields-plus prints, ephemera, maps, music, photography, and the occasional painting. We sell good books at good prices and want you to be satisfied with your purchase. Be sure to add us to your "favorite" sellers and check back to see new items listed daily! We pride ourselves on our high standards, high eBay ratings, and helpful staff, so please contact us directly if you encounter any issues. Standard shipping is via USPS Media Mail. Expedited options are available at checkout. Payment is expected within 2 business days unless otherwise arranged. Our warehouse is staffed Monday-Friday and we respond to inquiries as quickly as possible. We hope you enjoy browsing our selection of great books. Happy reading! This listing was created by Bibliopolis.