Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
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.
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
£39.99
Free Delivery
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
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.
Cheapest Total Price
In stock. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£39.99
Free Delivery
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings
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
£54.31
Free Delivery
Cheapest offer
Pages: 380, Paperback, Springer
£39.99
In stock. Express Delivery available with Amazon Prime.
amazon.co.uk
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Details
▶ Finding you the best price!
We have found 2 prices for Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings - Price Information
- Cheapest price: £39.99
- The cheapest price is offered by amazon.co.uk. You can order the product there.
- The price range for the product Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings is €£39.99to €£54.31 with a total of 2 offers.
- Payment methods: The online shop amazon.co.uk supports: Direct debit, Visa, Mastercard
- Delivery: The shortest delivery time is In stock. Express Delivery available with Amazon Prime. working days offered by amazon.co.uk.
Similar products
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
£64.82
Amazon-marketplace.co.uk
Free Delivery
Using Sophisticated Models in Resolution Theorem Proving: 90 (Lecture Notes in Computer Science, 90)
£44.74
Amazon-marketplace.co.uk
Free Delivery
Proving History: Bayes's Theorem and the Quest for the Historical Jesus
£15.99
amazon.co.uk
Free Delivery
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
£28.19
Amazon-marketplace.co.uk
Delivery from £7.74
Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL-2
£18.30
amazon.co.uk
Free Delivery
Don't forget your voucher code:
Report Illegal Concerns
You are about to report a violation based on the EU Digital Services Act (DSA).