First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Promotion
Overall Rating: 2.4 / 5 (average from multiple review sources, as of 8 Jun 2026)
Based on a total of 46,634 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 46,634 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.
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
£75.34
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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 6 to 7 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£64.82
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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 11 to 12 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£66.70
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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 2 to 3 weeks
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£70.91
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Overall Rating: 2.4 / 5 (average from multiple review sources, as of 8 Jun 2026)
Based on a total of 46,634 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 46,634 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. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£75.34
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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
£76.48
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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
£76.63
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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
£85.49
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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 8 to 9 days
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£91.34
Free Delivery
First-Order Logic and Automated Theorem Proving (Texts in 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
£95.75
Free Delivery
- 1
- 2
- next page
Cheapest offer
Pages: 344, Edition: Second Edition 1996, Paperback, Springer
£64.82
Usually dispatched within 6 to 7 days
Amazon-marketplace.co.uk
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
First-Order Logic and Automated Theorem Proving (Texts in Computer Science) - Details
▶ Finding you the best price!
We have found 9 prices for First-Order Logic and Automated Theorem Proving (Texts in Computer Science). Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
First-Order Logic and Automated Theorem Proving (Texts in Computer Science) - Price Information
- Cheapest price: £64.82
- The cheapest price is offered by Amazon-marketplace.co.uk. You can order the product there.
- The price range for the product First-Order Logic and Automated Theorem Proving (Texts in Computer Science) is €£64.82to €£144.47 with a total of 9 offers.
- Payment methods: The online shop Amazon-marketplace.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is Usually dispatched within 6 to 7 days working days offered by Amazon-marketplace.co.uk.
Similar products
Gima 27172 - Logic 2 Rusksack, Backpack, Polyester PVC coated, Red Colour, Large Size, Dimensions 40x25x47 cm, for Rescuers, Trauma Doctors, Paramedics, First Aid and Civil Protection Professionals
£130.83
amazon.co.uk
Free Delivery
Thinkfun My First Rush Hour Brain Game and Stem Toy For Kids Age 3 Years Up - Educational Activities
£19.03
Amazon-marketplace.co.uk
Delivery from £4.49
Janod - My First Search and Find - Educational Game - Thinking game on the theme of unicorns - Board game for ages 3 and up with wooden cards and accessories - Logic and observation
£11.50
amazon.co.uk
Delivery from £4.49
First-Order Predicate Logic
£1.89
Amazon-marketplace.co.uk
Delivery from £3.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).