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:
$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: $32.95

VitalSource
Price:
$32.95
Shipping:
$0.00
Total:
$32.95

Cheapest Price Summary

Store  Condition  Coupons & Deals  Price  Shipping  Total 
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 10/21/2026)
90 Day Rental
(Due Date 10/21/2026)
$24.79
as of 5 seconds ago
FREE
Knetbooks
60 Day Rental
(Due Date 09/21/2026)
60 Day Rental
(Due Date 09/21/2026)
$23.48
as of 5 seconds ago
FREE
VitalSource
No Expire
eBook
No Expire
eBook
$32.95
as of 4 seconds ago
FREE
This book is not available for: Used, Sell Back