History and philosophy of constructive type theory
- ISBN
- 9789048154036
History and philosophy of constructive type theory est un type theory, mathematics, philosophy book de Giovanni Sommaruga.
Découvrez History and philosophy of constructive type theory de Giovanni Sommaruga, type theory.
À propos de l'auteur
est l'auteur de History and philosophy of constructive type theory. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Giovanni Sommaruga →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de History and philosophy of constructive type theory ?+
History and philosophy of constructive type theory est un livre de Type theory, Mathematics, philosophy.
Qui a écrit History and philosophy of constructive type theory ?+
History and philosophy of constructive type theory a été écrit par Giovanni Sommaruga.