Le livre est actuellement en rupture de stock
En savoir plus sur le livre
The book offers an in-depth examination of Martin-Löf's constructive type theory, detailing its evolution from 1970 to 1995 across eight distinct stages. Sommaruga highlights previously unpublished aspects of the theory, including a comprehensive account of its latest version presented at Leiden University in 1993. The work addresses significant issues concerning the type-theoretical approach to logic and the foundations of mathematics, which were overlooked in earlier brief presentations, thus providing a more complete understanding of the subject.
Achat du livre
History and Philosophy of Constructive Type Theory, Giovanni Sommaruga
- Langue
- Année de publication
- 2010
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .