Related Books
Language: en
Pages: 484
Pages: 484
Type: BOOK - Published: - Publisher: Univalent Foundations
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2013 - Publisher:
The present work has its origins in our collective attempts to develop a new style of "informal type theory" that can be read and understood by a human being, a
Language: en
Pages: 589
Pages: 589
Type: BOOK - Published: 2013 - Publisher:
This book is the product of a yearlong collaboration at the Institute for Advanced Study. It describes (the beta version of) a new language for mathematics, whi
Language: en
Pages: 511
Pages: 511
Type: BOOK - Published: 2019-11-11 - Publisher: Springer Nature
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations.
Language: en
Pages: 208
Pages: 208
Type: BOOK - Published: 2020-02-06 - Publisher: Oxford University Press
"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - wh