Subscribe and get 10% off!
Be the first to know about new collections and special offers.
Skip to product information
Type Theory and Formal Proof
By Rob Nederpelt; Herman Geuvers
Sale price
£70.81
Regular price
£74.00
Save 4%
Our Price Match Guarantee
We match UK retailers. Seen the same new book (same ISBN and format) cheaper at a UK retailer? Email support@foxandfable.com before you buy and we’ll send you a code to match their price. Delivery charges aren’t included.
Read the full policy.
Description
Type Theory and Formal Proof is a profound exploration into the intersection of mathematical logic and computer science, authored by Herman Geuvers and Rob Nederpelt. This insightful text serves as a comprehensive introduction to the principles of type theory and its applications in formal proofs, making it an essential read for scholars and enthusiasts alike.
The Story
The book meticulously delves into the foundations of type theory, presenting it as a robust framework for understanding computational processes. Through a series of well-structured chapters, Geuvers and Nederpelt articulate the significance of formal proofs in verifying the correctness of algorithms and systems. The authors engage readers with a blend of theoretical concepts and practical examples, ensuring that complex ideas are accessible and relatable.
Why Readers Love It
- Clarity of Explanation: The authors excel in elucidating intricate topics, making them digestible for readers with varying levels of expertise.
- Engaging Examples: Real-world applications and illustrative examples keep the content relevant and stimulating.
- Comprehensive Coverage: The text encompasses a wide range of topics within type theory, providing a holistic view of the subject.
Perfect For
This book is ideal for students and researchers in computer science, mathematics, and philosophy, particularly those with an interest in logic and computation. It also complements other works by the authors, such as Proof Theory, making it a valuable addition to any academic library.
“A rigorous yet approachable examination of type theory, essential for anyone looking to deepen their understanding of formal proofs.”
Book details
- Authors
- Rob Nederpelt, Herman Geuvers
- Publisher
- Cambridge University Press
- Publication date
- Format
- Hardback
- Pages
- 466
- ISBN-13
- 9781107036505
- Language
- English
- Genre
- Science, Textbooks
- Dimensions
- 254 × 177 × 29 mm
- Weight
- 1028 g
You may also like:
Frequently Asked Questions
Delivery: In-stock orders are dispatched within 1 working day (Monday–Friday). Standard UK delivery is £2.99, free on orders over £35, and usually takes 2–4 working days after dispatch. Express International delivery is available to 21 more countries — see our Shipping Policy.
Returns: Free 30-day returns. If a book arrives damaged, faulty or not as described, we'll refund or replace it free of charge — you usually won't need to send it back. Changed your mind? Contact us within 30 days of delivery. Refund policy.
Sourcing: All books are brand new, sourced direct from UK publishers and distributors. We buy in bulk to pass the savings on to you.
What's your return policy?
Free 30-day returns. If a book arrives damaged, faulty or not as described, we'll refund or replace it free of charge — you usually won't need to send it back. Changed your mind? Contact us within 30 days of delivery. Read our refund policy.
When will I get my order?
In-stock orders are dispatched within 1 working day (Monday–Friday), and UK delivery usually takes 2–4 working days after dispatch. For Express International delivery to 21 more countries, see our Shipping Policy.
Do you price match?
Yes. Seen the same new book (same ISBN and format) cheaper at a UK retailer? Email support@foxandfable.com before you buy and we'll send you a code to match their price. Delivery charges aren't included. See our Price Match Guarantee for eligible retailers.
How much does shipping cost?
Standard UK delivery is £2.99, and free on orders over £35. We also offer Express International delivery to 21 more countries — see our Shipping Policy for rates.
Are your books new? How are they so cheap?
Yes — all of our books are brand new, sourced direct from UK publishers and distributors. By buying in bulk direct from publishers and distributors, we secure lower trade costs and pass those savings on to you.