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.

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Paperback
Edition:
First Edition, First
Author:
Jean H. Gallier
Publisher:
Dover Publications
Release Date:
2015
ISBN-10:
0486780821
ISBN-13:
9780486780825
List Price: 
$32.95
Cheapest Price Summary
Price:
$24.02
Shipping:
$3.00
Total:
$27.02
Price:
$25.42
Shipping:
$0.00
Total:
$25.42

Semester Rental: $26.10

Knetbooks
Price:
$26.10
Shipping:
$0.00
Total:
$26.10

85 Day Rental: $24.79

Knetbooks
Price:
$24.79
Shipping:
$0.00
Total:
$24.79

55 Day Rental: $23.48

Knetbooks
Price:
$23.48
Shipping:
$0.00
Total:
$23.48

eBook: $11.54

VitalSource
Price:
$11.54
Shipping:
$0.00
Total:
$11.54

Cheapest Price Summary

Store  Condition  Coupons & Deals  Price  Shipping  Total 
Abebooks
(Marketplace)
Used
Used $24.02
as of 5 seconds ago
$3.00
Abebooks
(Marketplace)
New
New $25.42
as of 5 seconds ago
FREE
Knetbooks
Semester Rental
(Due Date 12/11/2026)
Semester Rental
(Due Date 12/11/2026)
$26.10
as of 5 seconds ago
FREE
Knetbooks
90 Day Rental
(Due Date 08/07/2026)
90 Day Rental
(Due Date 08/07/2026)
$24.79
as of 5 seconds ago
FREE
Knetbooks
60 Day Rental
(Due Date 07/08/2026)
60 Day Rental
(Due Date 07/08/2026)
$23.48
as of 5 seconds ago
FREE
VitalSource
180 Day eBook
(Expire Date 11/05/2026)
180 Day eBook
(Expire Date 11/05/2026)
$16.48
as of 5 seconds ago
FREE
This book is not available for: Sell Back