2 résultat(s)
Télécharger le livre : Twenty Five Years of Constructive Type Theory
Giovanni Sambin , Jan M. Smith
Twenty Five Years of Constructive Type Theory
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing...
Editeur : Clarendon Press
Parution : 1998-10-15

Format(s) : ePub
77,30 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Twenty Five Years of Constructive Type Theory
Giovanni Sambin , Jan M. Smith
Twenty Five Years of Constructive Type Theory
Per Martin-Löf's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing...
Editeur : Clarendon Press
Parution : 1998-10-15

Format(s) : PDF
77,30 €
Téléchargement immédiat
Dès validation de votre commande