Reflections on the foundations of mathematics : univalent foundations, set theory and general thoughts /
Uloženo v:
| Další autoři: | , , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Cham :
Springer,
2019
|
| Edice: | Synthese library. Studies in epistemology, logic, methodology, and philosophy of science ;
407 |
| Témata: |
| Fyzický popis: | xxviii, 494 stran |
|---|---|
| ISBN: | 978-3-030-15657-2 |