Description: payment | shipping rates | returns Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) Product Category : Books ISBN : 9780121703509 Title : Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics) EAN : 9780121703509 Authors : Lee, Richard Char-Tung,Chang, Chin-Liang Binding : Hardcover Publisher : Academic Press Publication Date : 1973-06-11 Pages : 331 Signed : False First Edition : False Dust Jacket : False List Price (MSRP) : 72.95 Height : 1.1024 inches Width : 6.3780 inches Length : 9.3701 inches Weight : 1.3669 pounds Keywords : HPB Condition : Good About hpb-red Selling quality books and media since 1972. Customer service is our top priority! Payment We accept several payment types. They are shown above. Shipping Please click the "Shipping and Payments" tab above for details. Returns Your satisfaction is very important to us. Please contact us via the methods available within eBay regarding any problems before leaving negative feedback. You have 60 days from purchase to request a refund. © 2024 hpb-red
Price: 17.95 USD
Location: Carrollton, Texas
End Time: 2024-09-26T00:22:30.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: 60 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
Subject: Programming / Algorithms, Intelligence (Ai) & Semantics, Logic, Discrete Mathematics
Item Height: 0.4 in
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
