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 (Harper & Row computer science and technology series)

Author: 


ISBN-13: 

9780060422257


ISBN: 

0060422254


Publisher:  Longman Higher Education
Summary: Jean Gallier is the author of Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series), published under ISBN 9780060422257 and 0060422254. Six Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series) textbooks are available for sale on ValoreBooks.com, five used from the cheapest price o...f $13.69, or buy new starting at $301.90. [read more]

Marketplace Prices
1 New from $301.90 5 Used from $13.69
  • Used $13.69
  • New $301.90
Price + Shipping
Condition
Details
Recommended
Product Details
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)

ISBN-13: 9780060422257


ISBN: 0060422254


Publisher: Longman Higher Education
www.ValoreBooks.com is the top book store for cheap Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series) rentals, or new and used condition books ready for you to buy.
Where's My Stuff?
Shipping & Returns