Description: Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) ISBN : 9780121703509 Title : Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) Authors : Binding : hardcover Publisher : Academic Press Publication Date : Jun 11 1973 Condition : Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing and/or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Payment We accept PayPal for all eBay orders. Please see payment details below. We will only ship to the address that is entered into PayPal when payment is made! Shipping Multiple shipping options are available for this item. For more detail, please see below, and select the shipping option that is most convenient for you. Returns We have a No Returns policy, which allows us to keep our prices low. Please remember, all purchases are covered by the eBay Money Back Guarantee!
Price: 14.87 USD
Location: Columbia, Missouri
End Time: 2024-10-18T12:15:34.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Book Title: Symbolic Logic and Mechanical Theorem Proving (Computer Science a
Number of Pages: 331 Pages
Publication Name: Symbolic Logic and Mechanical Theorem Proving
Language: English
Publisher: Elsevier Science & Technology
Publication Year: 1973
Item Height: 0.4 in
Subject: Programming / Algorithms, Intelligence (Ai) & Semantics, Logic, Discrete Mathematics
Type: Textbook
Item Weight: 24.5 Oz
Item Length: 9 in
Subject Area: Mathematics, Computers
Author: Richard Char-Tung Lee, Chin-Liang Chang
Item Width: 6 in
Format: Hardcover
