Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition

Author(s): Jean H. Gallier
Publisher: Dover Publications, Incorporated
Binding: Paperback
/
  • Free shipping on orders $35+
  • 30 day returns
  • New condition
  • In stock, ready to ship
  • Inventory on the way
Shipping calculated at checkout.

New copy of Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition by Jean H. Gallier. - Paperback, Published by Dover Publications, Incorporated, 544 pages, ISBN-13: 9780486780825, ISBN-10: 0486780821.

Hassle-free 30-day returns. Free shipping on orders over $35.

We ship at a flat rate of $9.99 per order. Orders $35 and up ship free of charge.

This site is protected by hCaptcha and the hCaptcha Privacy Policy and Terms of Service apply.

Let customers speak for us

from 15682 reviews

arrived earlier than expected. book was in good used condition

Jason
Just Great Books

My book arrived a week before the the expected date and I'm very happy with the transaction. :)

Heather
Just Great Books

Item arrived in great condition, before scheduled arrival time. Great read!

John
Just Great Books

Arrived on time and in perfect condition.

Joy
Just Great Books

I just received my copy of the Constitution of Canada today...WELL ahead of schedule! Great service...thank you so much!

Tammy
Just Great Books

Easy to order online, got a confirmation email right away, shipping was fast, received book within one week! Thank you!

Anonymous
A New Collection of Three Complete Novels — Snow in April; Wild Mountain Thyme; Flowers in the Rain
You may also like
More from Dover Publications, Incorporated
Recently viewed