Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
- Paperback
- Edition:
- First Edition, First
- Publisher:
- Dover Publications
- Release Date:
- 2015
- ISBN-10:
- 0486780821
- ISBN-13:
- 9780486780825
Buy vs Rent: We recommend you Rent
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:
- $25.31
- Condition:
- Used
- Sell Price:
- None
- Final Cost:
- $25.31
VS
- Rent
- Price:
- $23.48
- Duration:
- 60 Days
- Sell Price:
- None
- Final Cost:
- $23.48
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.
-
Store Condition Coupons & Deals Price Shipping Total Knetbooks Short Term Rental
(60 days, due 12/19/2026)Short Term Rental
(60 days, due 12/19/2026)$23.48
as of Oct 20, 2026, 4:18 AM ETat checkout RedShelf eTextbook
(RedShelf)eTextbook
(RedShelf)$24.16
as of Oct 20, 2026, 4:18 AM ETFREE BiggerBooks Short Term Rental
(60 days, due 12/19/2026)Short Term Rental
(60 days, due 12/19/2026)$24.43
as of Oct 20, 2026, 4:18 AM ETat checkout Knetbooks Quarter Rental
(59 days, due 12/18/2026)Quarter Rental
(59 days, due 12/18/2026)$24.79
as of Oct 20, 2026, 4:18 AM ETat checkout Knetbooks UsedUsed $25.31
as of Oct 20, 2026, 4:18 AM ETat checkout BiggerBooks Quarter Rental
(59 days, due 12/18/2026)Quarter Rental
(59 days, due 12/18/2026)$25.79
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus
(Marketplace)Used
(Marketplace)Used
(Marketplace)$22.04
as of Oct 20, 2026, 4:18 AM ET$3.97 Knetbooks Semester Rental
(76 days, due 01/04/2027)Semester Rental
(76 days, due 01/04/2027)$26.10
as of Oct 20, 2026, 4:18 AM ETat checkout BiggerBooks Semester Rental
(76 days, due 01/04/2027)Semester Rental
(76 days, due 01/04/2027)$27.15
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus Short Term Rental
(60 days, due 12/19/2026)Short Term Rental
(60 days, due 12/19/2026)$23.72
as of Oct 20, 2026, 4:18 AM ET$3.97 eCampus Quarter Rental
(59 days, due 12/18/2026)Quarter Rental
(59 days, due 12/18/2026)$25.04
as of Oct 20, 2026, 4:18 AM ET$3.97 eCampus Semester Rental
(76 days, due 01/04/2027)Semester Rental
(76 days, due 01/04/2027)$26.36
as of Oct 20, 2026, 4:18 AM ET$3.97 -
Store Condition Coupons & Deals Price Shipping Total Knetbooks UsedUsed $25.31
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus
(Marketplace)Used
(Marketplace)Used
(Marketplace)$22.04
as of Oct 20, 2026, 4:18 AM ET$3.97 -
Store Condition Coupons & Deals Price Shipping Total BiggerBooks NewNew $34.75
as of Oct 20, 2026, 4:18 AM ETat checkout Knetbooks NewNew $34.93
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus NewNew $35.11
as of Oct 20, 2026, 4:18 AM ET$3.97 -
Store Condition Coupons & Deals Price Shipping Total Knetbooks Semester Rental
(76 days, due 01/04/2027)Semester Rental
(76 days, due 01/04/2027)$26.10
as of Oct 20, 2026, 4:18 AM ETat checkout BiggerBooks Semester Rental
(76 days, due 01/04/2027)Semester Rental
(76 days, due 01/04/2027)$27.15
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus Semester Rental
(76 days, due 01/04/2027)Semester Rental
(76 days, due 01/04/2027)$26.36
as of Oct 20, 2026, 4:18 AM ET$3.97 -
Store Condition Coupons & Deals Price Shipping Total Knetbooks Quarter Rental
(59 days, due 12/18/2026)Quarter Rental
(59 days, due 12/18/2026)$24.79
as of Oct 20, 2026, 4:18 AM ETat checkout BiggerBooks Quarter Rental
(59 days, due 12/18/2026)Quarter Rental
(59 days, due 12/18/2026)$25.79
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus Quarter Rental
(59 days, due 12/18/2026)Quarter Rental
(59 days, due 12/18/2026)$25.04
as of Oct 20, 2026, 4:18 AM ET$3.97 -
Store Condition Coupons & Deals Price Shipping Total Knetbooks Short Term Rental
(60 days, due 12/19/2026)Short Term Rental
(60 days, due 12/19/2026)$23.48
as of Oct 20, 2026, 4:18 AM ETat checkout BiggerBooks Short Term Rental
(60 days, due 12/19/2026)Short Term Rental
(60 days, due 12/19/2026)$24.43
as of Oct 20, 2026, 4:18 AM ETat checkout eCampus Short Term Rental
(60 days, due 12/19/2026)Short Term Rental
(60 days, due 12/19/2026)$23.72
as of Oct 20, 2026, 4:18 AM ET$3.97 -
Store Condition Coupons & Deals Price Shipping Total RedShelf eTextbook
(RedShelf)eTextbook
(RedShelf)$24.16
as of Oct 20, 2026, 4:18 AM ETFREE eCampus 1825 Day eBook
(expires 10/19/2031)1825 Day eBook
(expires 10/19/2031)$39.54
as of Oct 20, 2026, 4:18 AM ETFREE BiggerBooks 1825 Day eBook
(expires 10/19/2031)1825 Day eBook
(expires 10/19/2031)$39.54
as of Oct 20, 2026, 4:18 AM ETFREE
| Store | Condition | Coupons & Deals | Price | Shipping | Total | |
|---|---|---|---|---|---|---|
| VitalSource eBook |
eBook | Check price at VitalSource |
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, 4:18 AM ET. Totals include shipping where the store lists it. As an Amazon Associate, CheapestTextbooks.com earns from qualifying purchases.
About Logic for Computer Science: Foundations of Automatic Theorem Proving, Second…
"This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information"--
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 9780486780825 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
-
Computer Science Principles: The Foundational Concepts of Computer Science - For AP® Computer Science Principles
- Paperback
- Publisher:
- Yellow Dart Publishing
- Release Date:
- 2020
- ISBN-10:
- 1734554908
- ISBN-13:
- 9781734554908
-
Computer Science Illuminated
- Paperback
- Edition:
- 7
- Publisher:
- Jones & Bartlett Learning
- Release Date:
- 2020
- ISBN-10:
- 1284155617
- ISBN-13:
- 9781284155617
-
Computer Science Principles: The Foundational Concepts of Computer Science - For AP® Computer Science Principles
- Paperback
- Edition:
- 2
- Publisher:
- Yellow Dart Publishing
- Release Date:
- 2018
- ISBN-10:
- 0692106715
- ISBN-13:
- 9780692106716
-
Computer Science: An Overview (What's New in Computer Science)
- Paperback
- Edition:
- 13
- Publisher:
- Pearson
- Release Date:
- 2020
- ISBN-10:
- 013487546X
- ISBN-13:
- 9780134875460
-
Computer Science Illuminated
- Paperback
- Edition:
- 6
- Publisher:
- Jones & Bartlett Learning
- Release Date:
- 2016
- ISBN-10:
- 1284055914
- ISBN-13:
- 9781284055917
-
Computer Science Principles: The Foundational Concepts of Computer Science - For AP(R) Computer Science Principles
- Hardcover
- Publisher:
- Yellow Dart Publishing
- Release Date:
- 2020
- ISBN-10:
- 1734554916
- ISBN-13:
- 9781734554915
© CheapestTextbooks.com 2001-2026. All rights reserved.