Melvin Fitting / First-Order Logic and Automated Theorem Proving 1st ed 1990

Description: First-Order Logic and Automated Theorem Proving Author: Fitting, Melvin Title: First-Order Logic and Automated Theorem Proving Publication: New York: Springer-Verlag [1990], 1990 Edition: First edition Description: Hardcover. 8vo. [7], viii-xiii, [4], 2-242, [6] pp. Silver colored paper over boards, no dust jacket (following Springer's custom during the period). A sharp example of this book, one of the earliest introductions to classical logic from the perspective of automated theorem proving. Very near Fine. Seller ID: 00009239 Subject: COMPUTERS, Mathematics, Philosophy Evening star books, LLC We are a professional antiquarian bookselling firm with relatively broad interests, but we specialize in literature of all periods, modern first editions, and works of historical significance. Open to the public by chance or by appointment. Evening Star Books is a Limited Liability Company. Guarantee We are members of the ABAA (Antiquarian Booksellers' Association of America) and the Independent Online Booksellers' Association (IOBA), and we abide by these associations' strict codes of ethics. All items are guaranteed to be received as described and any item may be returned for any reason within 30 days of receipt. SHIPPING TERMS All orders ship within two business days. Standard mail is USPS Media Mail. Delivery using this shipping method usually occurs in 5 to 10 business days. Expedited and international shipping are also available. Please contact us for a shipping quote if you wish to upgrade to Priority Mail. We offer combined shipping on multiple orders. This listing was created by Bibliopolis.

Price: 81 USD

Location: Madison, Wisconsin

End Time: 2024-09-18T22:30:32.000Z

Shipping Cost: 0 USD