Compare prices and save on cheap textbooks at CheapestTextbooks.com

Gathering data for you

Our Price Comparison is FREE to use. You are moments away from:

  • Buy, Rent or Sell
  • New, Used, Rental, eBooks
  • Finding the Cheapest Prices
  • Saving up to 95%
Check out

our fan page on

facebook

for additional ways to save.

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758) Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758)
Paperback
Edition:
2003
Publisher:
Springer
Release Date:
2003
ISBN-10:
3540406646
ISBN-13:
9783540406648
List Price: 
$109.00
Cheapest Price Summary

Used: $57.29

Abebooks
(Marketplace)
Price:
$51.30
Shipping:
$5.99
Total:
$57.29
Buy Nowclick here!

New: $63.28

Abebooks
(Marketplace)
Price:
$59.29
Shipping:
$3.99
Total:
$63.28
Buy Nowclick here!

eBook: $16.50

Textbooks.com
Price:
$16.50
Shipping:
$0.00
Total:
$16.50
Buy Nowclick here!

Cheapest Price Summary
Store  Condition  Coupons & Deals  Price  Shipping  Total 
Abebooks
(Marketplace)
Used
Used $51.30
as of 1 second ago 		$5.99
$57.29
53% off $57.29Buy Nowclick here!
Abebooks
(Marketplace)
New
New $59.29
as of 1 second ago 		$3.99
$63.28
46% off $63.28Buy Nowclick here!
VitalSource
180 Day eBook
(Expire Date 10/22/2024)
180 Day eBook
(Expire Date 10/22/2024) 		$35.75
as of 1 second ago 		FREE
$35.75
67% off $35.75Rent Nowclick here!
This book is not available for: Semester Rental, 85 Day Rental, 55 Day Rental, Sell Back