Tous les livres numériques de Giovanni Sambin en PDF et EPUB

3 Livre(s)
Télécharger le livre : Positive Topology
Positive Topology
Giovanni Sambin
Aimed at researchers in mathematics, philosophy and logic, this book provides the first organic exposition of dynamic constructivism and the mathematics ensuing in practice, including discussion of the technical development of the field and outlining the philosophical...

Editeur : OUP Oxford
Parution : 2025-10-30
PDF

119,67 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
Giovanni Sambin , Jan M. Smith
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
ePub

76,57 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
Giovanni Sambin , Jan M. Smith
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
PDF

76,57 €
Téléchargement immédiat
Dès validation de votre commande