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)

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Overall Rating: 1.3 / 5 (average from multiple review sources, as of 27 Jul 2026)
Based on a total of 67 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
In stock
Direct debit Direct debit Visa Visa Mastercard Mastercard
£24.53
Delivery from £7.74

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Overall Rating: 1.3 / 5 (average from multiple review sources, as of 27 Jul 2026)
Based on a total of 67 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
£42.00
Delivery from £2.80

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Overall Rating: 1.3 / 5 (average from multiple review sources, as of 27 Jul 2026)
Based on a total of 67 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.24
Delivery from £4.99
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)

Cheapest offer

Pages: 544, Edition: 2, Paperback, Dover Publications Inc
£24.53
In stock
Amazon-marketplace.co.uk

🤖 Ask ChatGPT

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 3 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: £24.53
  • 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 €£24.53to €£45.24 with a total of 3 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)
Junior Brain Train Logic Games (PC)
£6.89
Go to shop
Amazon-marketplace.co.uk
Delivery from £1.99
Peppas Learning Laptop - Learning Computer with ABC Keyboard and Various Learning Content with Letters and Words, Numbers, Logic, Games and Music -
Peppas Learning Laptop - Learning Computer with ABC Keyboard and Various Learning Content with Letters and Words, Numbers, Logic, Games and Music -
£21.43
Go to shop
onbuy.com
Delivery from £4.50
Adafruit ItsyBitsy M0 Express Onboard ATSAMD21 Cortex M0 I2C SPI 23 GPIO Serial with 2MB of SPI Flash for Data Logging File Storage Use for CircuitPython & Arduino IDE 48 MHz 3.3V Logic 3727
Adafruit ItsyBitsy M0 Express Onboard ATSAMD21 Cortex M0 I2C SPI 23 GPIO Serial with 2MB of SPI Flash for Data Logging File Storage Use for CircuitPython & Arduino IDE 48 MHz 3.3V Logic 3727
£18.19
Go to shop
Amazon-marketplace.co.uk
Delivery from £4.49
Aggression (PC DVD) Reign over Europe by Play Logic
Aggression (PC DVD) Reign over Europe by Play Logic
£5.99
Go to shop
Amazon-marketplace.co.uk
Delivery from £1.99
Don't forget your voucher code: