Main image
Click to view image in fullscreen
![]()
Type Theory and Formal Proof
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
871,00 DH
Sur commande
Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This book provides a gentle step-by-step introduction in the art of formalizing mathematics on the basis of type theory. It is suitable for a broad audience, ranging from undergraduate students to researchers.
| ISBN / EAN | 9781107036505 |
|---|---|
| Auteur | Nederpelt, Rob (Technische Universiteit Eindhoven, The Netherlands) |
| Editeur | Cambridge University Press |