TY  - GEN
T1  - Reflections on the foundations of mathematics :univalent foundations, set theory and general thoughts /
AU  - Centrone, Stefania,
AU  - Kant, Deborah,
AU  - Sarikaya, Deniz,
VL  - volume 407
CN  - QA248
ID  - 917190
KW  - Set theory.
KW  - Logic, Symbolic and mathematical.
SN  - 3030156559
SN  - 9783030156558
TI  - Reflections on the foundations of mathematics :univalent foundations, set theory and general thoughts /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-15655-8
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-15655-8
ER  -