Description: payment | shipping rates | returns Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) Product Category : Books ISBN : 9780486780825 Title : Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) EAN : 9780486780825 Authors : Gallier, Jean H. Binding : Paperback Publisher : Dover Publications Publication Date : 2015-06-18 Pages : 528 Signed : False First Edition : False Dust Jacket : False List Price (MSRP) : 32.95 Height : 1.1000 inches Width : 6.1000 inches Length : 9.1000 inches Weight : 1.7500 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: 21.81 USD
Location: Carrollton, Texas
End Time: 2024-08-05T22:17:59.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: Logic for Computer Science: Foundations of Automatic Theorem Prov
Item Length: 9.2in
Item Width: 6.1in
Author: Jean H. Gallier
Publication Name: Logic for Computer Science
Format: Trade Paperback
Language: English
Publisher: Dover Publications, Incorporated
Series: Dover Books ON Computer Science Ser.
Publication Year: 2015
Type: Textbook
Item Weight: 26.5 Oz
Number of Pages: 544 Pages
