Compare prices and save on cheap textbooks at CheapestTextbooks.com

Essential Logic for Computer Science (The MIT Press)

Essential Logic for Computer Science (The MIT Press)
Hardcover
Authors:
Rex Page
Ruben Gamboa
Publisher:
The MIT Press
Release Date:
2019
ISBN-10:
0262039184
ISBN-13:
9780262039185
List Price: 
$50.00

Buy vs Rent: We recommend you Buy

This compares the total cost of owning the book (cheapest buy price minus the best sell-back offer today) with the cheapest rental.

Buy
Price:
$29.82
Condition:
Used
Sell Price:
None
Final Cost:
$29.82

VS

Rent
Price:
$35.64
Duration:
60 Days
Sell Price:
None
Final Cost:
$35.64

Disclaimer: These calculations are based on the current advertised price. Your results will vary depending on several factors, including the condition of the book and the advertised price at the time of sale.

Cheapest Price Summary
Price:
$25.85
Shipping:
$3.97
Total:
$29.82

New: $52.74

BiggerBooks
Price:
$52.74
Shipping:
at checkout
Total:
$52.74

Short Term Rental (60 days): $35.64

Knetbooks
Price:
$35.64
Shipping:
at checkout
Total:
$35.64

eBook (1825 days): $30.99

eCampus
Price:
$30.99
Shipping:
$0.00
Total:
$30.99

Store Condition Coupons & Deals Price Shipping Total 
VitalSource
eBook
eBook Check price
at VitalSource
at checkout
 
RedShelf
eTextbook
eTextbook Check price
at RedShelf
at checkout
 
Amazon
New & used
New & used Check price
at Amazon
at checkout
 
AbeBooks
Used & new (marketplace)
Used & new (marketplace) Check price
at AbeBooks
at checkout
 
SellBackBooks
Sell back
Sell back Check price
at SellBackBooks
at checkout
 

Prices checked Oct 20, 2026, 5:03 AM ET. Totals include shipping where the store lists it. As an Amazon Associate, CheapestTextbooks.com earns from qualifying purchases.

About Essential Logic for Computer Science (The MIT Press)

Subject: Applications of logic in computer science Contents: predicate logic, proofs, equation-based software and digital circuits, automated testing and theorem provers, large-scale computation Intent: undergrad CS majors will learn how to apply predicate logic to testing and verification of software and digital circuits Unique treatment: lower division courses focus on applications in computer science (just enough theory for applications) widely-used, automated theorem prover (ACL2) supports logic applications descriptive coverage of large-scale computation Computer science undergrads use logic for testing and verification of software and digital circuits--

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Amazon, Knetbooks, BiggerBooks, VitalSource and RedShelf for their current prices on ISBN 9780262039185 and sort every offer by its total with shipping. Rental rows show the term (semester, quarter or short term) and that term goes with you to the store's cart, and eBook rows link straight to the 180-day or no-expiry option you picked. Prices are rechecked at least every 30 minutes, so confirm the total at checkout.

More Computer Science textbooks