Reflections on the foundations of mathematics: univalent foundations, set theory and general thoughts
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030156572
Date de publication :
20 nov. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.