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
Price:
$75.60
Shipping:
$4.99
Total:
$80.59
Price:
$104.48
Shipping:
$5.45
Total:
$109.93

eBook: $49.50

VitalSource
Price:
$49.50
Shipping:
$0.00
Total:
$49.50

Cheapest Price Summary

Store  Condition  Coupons & Deals  Price  Shipping  Total 
Abebooks
(Marketplace)
Used
Used $75.60
as of 1 second ago
$4.99
Abebooks
(Marketplace)
New
New $104.48
as of 1 second ago
$5.45
VitalSource
180 Day eBook
(Expire Date 07/17/2022)
180 Day eBook
(Expire Date 07/17/2022)
$64.35
as of 1 second ago
FREE
This book is not available for: Semester Rental, 85 Day Rental, 55 Day Rental, Sell Back