Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)
Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic)
Overall Rating: 2.3 / 5 (average from multiple review sources, as of 7 Aug 2026)
Based on a total of 47,264 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 47,264 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
This title will be released on October 21, 2026. Pre-order now. Express Delivery available with Amazon Prime.
Direct debit
Direct debit
Visa
Visa
Mastercard
Mastercard
£57.65
Free Delivery
Proof Assistants and Their Applications in Mathematics and Computer Science
Overall Rating: 4.1 / 5 (average from multiple review sources, as of 1 Aug 2026)
Based on a total of 50,004 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 50,004 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.
2 - 4 working days
Visa
Visa
Mastercard
Mastercard
£61.74
Free Delivery
Cheapest offer
Pages: 400, Hardcover, Springer
£57.65
This title will be released on October 21, 2026. Pre-order now. Express Delivery available with Amazon Prime.
amazon.co.uk
🤖 Ask ChatGPT
💡 Is it worth the price?
🔁 Better alternatives?
⭐ What do users say?
Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) - Details
▶ Finding you the best price!
We have found 2 prices for Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic). Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.
Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) - Price Information
- Cheapest price: £57.65
- The cheapest price is offered by amazon.co.uk. You can order the product there.
- The price range for the product Proof Assistants and Their Applications in Mathematics and Computer Science (Computer Science Foundations and Applied Logic) is €£57.65to €£61.74 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 This title will be released on October 21, 2026. Pre-order now. Express Delivery available with Amazon Prime. working days offered by amazon.co.uk.
Similar products
LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically verified software development
£9.00
amazon.co.uk
Delivery from £2.99
Sosoport Dog Salon Work Pants Waterproof Anti-static Pet Hair Proof Polyester Black L Size for Dog and Cat Grooming Shop Use, Pet Grooming Assistants Men
£14.09
Amazon-marketplace.co.uk
Free Delivery
PENIKOKO Pet Hair-Proof Waterproof Overtrousers with Abrasion-Resistant Fabric, Designed for Groomer Assistants in Pet Baths, Comfortable Grooming Pants for Men
£14.89
Amazon-marketplace.co.uk
Free Delivery
CVUTOVO Dog Grooming Trouser - Waterproof Professional Pet Groomers Smock Pants - Anti-Static Pet Hair-Proof Workwear for Animal Salon Grooming Assistants M Size
£18.29
Amazon-marketplace.co.uk
Free Delivery
Housoutil Pet Hair-Proof Work Pants for Pet Grooming Assistants and Salon Professionals, Black Polyester with Flexible Fit and Hair Resistant Design, for Dog and Cat Grooming Baths and Daily
£14.09
Amazon-marketplace.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).