BlogSupportMy AccountSell Back ListCart

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, Same-Day Customer Service
If you need help, our friendly, helpful Customer Service team will contact you the same business day.
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.
See the full guarantee details
Logic for Computer Science: Foundations of Automatic Theorem-Proving
Own it? Sell it for $0.25

Logic for Computer Science: Foundations of Automatic Theorem-Proving

Author: 


ISBN-13: 

9780060422257


ISBN: 

0060422254


Publisher:  Addison-Wesley Educational Publishers, Incorporated

Marketplace Prices
11 Used from $11.93
  • Used $11.93
Price + Shipping
Condition
Details
Recommended
(1 from $11.93) 
Used
(11 from $11.93) 
SEE MORE
Product Details
ISBN-13:

9780060422257


ISBN:

0060422254


Publisher: Addison-Wesley Educational Publishers, Incorporated
Where's My Stuff?
Shipping & Returns
Need Help?