Compare prices and save on cheap textbooks at CheapestTextbooks.com

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
Hardcover
Edition:
1
Authors:
Chin-Liang Chang
Richard Char-Tung Lee
Publisher:
Academic Press
Release Date:
1973
ISBN-10:
0121703509
ISBN-13:
9780121703509
Cheapest Price Summary

Used: $15.03

eCampus
(Marketplace)
Price:
$11.06
Shipping:
$3.97
Total:
$15.03
Buy Nowclick here!

New: $72.88

eCampus
Price:
$72.88
Shipping:
$0.00
Total:
$72.88
Buy Nowclick here!
Not available right now: Semester Rental, Quarter Rental, Short Term Rental, EBook

Prices checked Oct 19, 2026, 9:44 PM ET. Totals include shipping where the store lists it.

Also check: Knetbooks (rentals) · BiggerBooks · VitalSource (eBooks) · AbeBooks (marketplace) · SellBackBooks (sell back)

How CheapestTextbooks.com compares prices

When you open this page we ask eCampus, Knetbooks, BiggerBooks and VitalSource for their current prices on ISBN 9780121703509 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 Mathematics textbooks

Browse: Computer Mathematics textbooks · All textbook subjects