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 Herman Geuvers; Rob Nederpelt
888.00 kr
Our Price Match Guarantee
We match UK retailers.
If you find the same book(s) cheaper (new, in stock, like-for-like including delivery), we’ll match it. Not applicable to international orders. Read the full policy.
If you find the same book(s) cheaper (new, in stock, like-for-like including delivery), we’ll match it. Not applicable to international orders. 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.”
Specifications
Format: Hardback
Dimensions: × ×
Pages: 466
Publisher: Cambridge University Press
ISBN: 9781107036505
You may also like:
Frequently Asked Questions
What's your return policy?
Yes, we provide free returns on eligible orders; read more here. If your books arrive damaged or incorrect, please contact us within 14 days of receipt for a replacement or refund.
When will I get my order?
We will work quickly to ship your order as soon as possible. Orders are usually dispatched within 1-2 working days and UK delivery typically takes 2–4 working days.
How much does shipping cost?
Standard shipping is £2.99 and free for all orders above £35.
Are your books new? How are they so cheap?
Yes - all of our books are brand new, direct from UK publishers and distributors.
By sourcing directly in bulk from publishers and distributors, we can pass significant savings on to you!