Image Not Available

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) by Chang, Chin-Liang, Lee, Richard C. (1997) Hardcover

Elsevier

Published by Elsevier, 2009
Condition: Good Hardcover
From Books Express (Portsmouth, NH, U.S.A.)

AbeBooks Seller Since August 14, 2015 Seller Rating 5-star rating

Quantity Available: 1

Buy Used
Price: US$ 117.12 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. May be ex-library. Shipping & Handling by region. Buy with confidence, excellent customer service!. Bookseller Inventory # XH0NPNDAA6

Ask Seller a Question

Bibliographic Details

Title: Symbolic Logic and Mechanical Theorem ...

Publisher: Elsevier

Publication Date: 2009

Binding: Hardcover

Book Condition: Good

Store Description

Visit Seller's Storefront

Terms of Sale:

Buy with confidence. Excellent customer service. 30 day return policy.

Books Express LLC
318 US Route 1, STE 2
Kittery ME 03904


Shipping Terms:

Standard and expedited shipping options include shipping and handling costs. Default shipping is by USPS Media Mail and frequently USPS Priority Mail or UPS Ground is used. Books should arrive within 10-14 business days for expedited shipping, and 20-30 business days for standard shipping. Standard shipping can on occasion take up to 30 days for delivery.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order PayPal Invoice Bank Draft Bank/Wire Transfer Direct Debit (Personally Authorized Payment)