16%OFF
Stock image for illustration purposes only - book cover, edition or condition may vary.
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Jean Gallier
€ 36.99
€ 31.03
FREE Delivery in Ireland
Description for Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Paperback. Series: Dover Books on Computer Science. Num Pages: 544 pages. BIC Classification: PBCD; UYAM. Category: (G) General (US: Trade). Dimension: 237 x 158 x 35. Weight in Grams: 754.
Product Details
Format
Paperback
Publication date
2015
Publisher
Dover Publications Inc.
Condition
New
Series
Dover Books on Computer Science
Number of Pages
544
Place of Publication
New York, United States
ISBN
9780486780825
SKU
V9780486780825
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-1
Reviews for Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition