Rob Nederpelt (The Netherlands Technische Universiteit Eindhoven), Herman Geuvers (Radboud Universiteit Nijmegen)

Gebundenes Buch

Type Theory and Formal Proof

Beschreibung

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.

Autor

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 466
• Erscheinungstermin: 14. März 2016
• Englisch
• Abmessung: 250mm x 175mm x 29mm
• Gewicht: 1028g
• ISBN-13: 9781107036505
• ISBN-10: 110703650X
• Artikelnr.: 40742677