Close
Enter your search into one or more of the boxes below:
You can refine your search by selecting from any of the options below:
Search
Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction (Hardback)

£52.00
Despatched in 2 business days.
Order now for Free delivery in the UK or choose Express Delivery to receive in 2 business days.
More on delivery...

Synopsis

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems, including the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarise themselves with the material.

Rob Nederpelt was Lecturer in Logic for Computer Science until his retirement. Currently he is a guest researcher in the Faculty of Mathematics and Computer Science at Eindhoven University of Technology, The Netherlands. Herman Geuvers is Professor in Theoretical Informatics at the Radboud University Nijmegen, and Professor in Proving with Computer Assistance at Eindhoven University of Technology, both in The Netherlands.

More books by Rob Nederpelt

More books by Herman Geuvers

Leave Review

Delivery

Delivery Options

All delivery times quoted are the average, and cannot be guaranteed. These should be added to the availability message time, to determine when the goods will arrive. During checkout we will give you a cumulative estimated date for delivery.

Location 1st Book Each additional book Average Delivery Time
UK Second Class Available free for ALL orders. No charge for each additional book. 3-7 Days
UK First Class £4.50 £1.00 1-2 Days
UK Courier £7.00 £1.00 1-2 Days
Western Europe** Courier £17.00 £3.00 2-3 Days
Western Europe** Airmail £5.00 £1.50 4-14 Days
USA / Canada Courier £20.00 £3.00 2-4 Days
USA / Canada Airmail £7.00 £3.00 4-14 Days
Rest of World Courier £22.50 £3.00 3-6 Days
Rest of World Airmail £8.00 £3.00 7-21 Days

** Includes Austria, Belgium, Denmark, France, Germany, Greece, Iceland, Irish Republic, Italy, Luxembourg, Netherlands, Portugal, Spain, Sweden and Switzerland.

Delivery Help & FAQs

Returns Information

If you are not completely satisfied with your purchase*, you may return it to us in its original condition with in 30 days of receiving your delivery or collection notification email for a refund. Except for damaged items or delivery issues the cost of return postage is borne by the buyer. Your statutory rights are not affected.

* For Exclusions and terms on damaged or delivery issues see Returns Help & FAQs

You might also like

Swift for Programmers
(Paperback)
Paul J. Deitel; Harvey Deitel
 
£31.99
£24.99
22%
Black Hat Python
(Paperback)
Justin Seitz
 
 
£29.99
 
LogiQL: A Query Language for Smart...
(Paperback)
Terry Halpin; Spencer Rugaber
 
£50.99
£44.99
12%
Multicore and GPU Programming: An...
(Paperback)
Gerassimos Barlas
 
 
£60.99
 
Latest Blog
Into the Grey Zone
26/09/2017

Read an extract from Into the Grey Zone: A Neuroscientist Explores the Border Between Life and Death

#FoylesFave: Dr Seuss
25/09/2017

Matt from our Web Team is very silly. Maybe this explains his love for Dr Seuss, especially this new glow in the dark edition of What Was I Scared Of?

Read an Extract from A Skinful of Shadows
21/09/2017

Read an extract from the eagerly awaited new novel by the Costa-winning Frances Hardinge, A Skinful of Shadows.

View all Blog Entries
Twitter
Show/Hide Tweets
© W&G Foyle Ltd