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)
Overall Rating: 1.4 / 5 (average from multiple review sources, as of 12 Jun 2026)
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Cheapest Price
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£28.19
Delivery from £7.74
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Overall Rating: 1.4 / 5 (average from multiple review sources, as of 12 Jun 2026)
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Cheapest Total Price
Usually dispatched within 8 to 9 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£32.81
Free Delivery
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Overall Rating: 1.4 / 5 (average from multiple review sources, as of 12 Jun 2026)
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
In stock
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£44.44
Delivery from £2.80
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Overall Rating: 1.4 / 5 (average from multiple review sources, as of 12 Jun 2026)
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Based on a total of 63 customer reviews from independent review platforms.
Sources & Transparency:
The values are derived from publicly available retailer ratings from platforms such as Feefo, http://Reviews.io , Trustpilot, and others, and are aggregated monthly.
All brand names and logos are the property of their respective owners.
Notice:
pricehunter.co.uk cannot guarantee that published shop ratings originate from consumers who have actually made a purchase from the reviewed retailer.
Usually dispatched within 9 to 10 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£45.75
Delivery from £4.99
Cheapest offer
Pages: 544, Edition: 2, Paperback, Dover Publications Inc
£28.19
In stock
Amazon-marketplace.co.uk
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) - Details
▶ Finding you the best price!
We have found 4 prices for Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science). Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) - Price Information
- Cheapest price: £28.19
- The cheapest price is offered by Amazon-marketplace.co.uk. You can order the product there.
- The price range for the product Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) is €£28.19to €£45.75 with a total of 4 offers.
- Payment methods: The online shop Amazon-marketplace.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is In stock working days offered by Amazon-marketplace.co.uk.
Similar products
Junior Brain Train Logic Games (PC)
£6.89
Amazon-marketplace.co.uk
Delivery from £1.99
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).