Reflections on the foundations of mathematics : univalent foundations, set theory and general thoughts / Stefania Centrone, Deborah Kant, Deniz Sarikaya, editors.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover sys...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Centrone, Stefania (Editor), Kant, Deborah (Editor), Sarikaya, Deniz (Editor)
Format:	eBook
Language:	English
Published:	Cham : Springer Nature, [2019]
Series:	Synthese library ; v. 407.
Subjects:	Set theory. Logic, Symbolic and mathematical.