30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.

Logic for Computer Science: Foundations of Automatic Theorem-Proving

Author: 


ISBN-13: 

9780060422257


ISBN: 

0060422254


Publisher:  Addison-Wesley Educational Publishers, Incorporated
Summary: Gallier, Jean H. is the author of Logic for Computer Science: Foundations of Automatic Theorem-Proving, published under ISBN 9780060422257 and 0060422254. Nineteen Logic for Computer Science: Foundations of Automatic Theorem-Proving textbooks are available for sale on ValoreBooks.com, fifteen used from the cheapest price of $74.16, or buy new starting at $332.40.

Marketplace Prices
4 New from $332.40 15 Used from $74.16
  • Used $74.16
  • New $332.40
Price + Shipping
Condition
Details
Recommended
Product Details

ISBN-13: 9780060422257


ISBN: 0060422254


Publisher: Addison-Wesley Educational Publishers, Incorporated
www.ValoreBooks.com is the top book store for cheap Logic for Computer Science: Foundations of Automatic Theorem-Proving rentals, or new and used condition books ready for you to buy.
Where's My Stuff?
Shipping & Returns