Le livre est actuellement en rupture de stock
En savoir plus sur le livre
The book offers an in-depth exploration of Martin-Löf's constructive type theory, highlighting its evolution from 1970 to 1995 through eight distinct stages. Sommaruga meticulously surveys the prehistory and complex development of type theory, presenting a comprehensive account of its latest version as introduced by Martin-Löf in 1993. Unlike previous brief presentations, this work addresses critical issues related to type theory's implications for logic and the foundations of mathematics, dedicating a significant section to these topics.
Achat du livre
History and Philosophy of Constructive Type Theory, Giovanni Sommaruga
- Langue
- Année de publication
- 2000
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .