Reflections on the Foundations of Mathematics Univalent Foundations, Set Theory and General Thoughts - Centrone, Stefania 1975-; Kant, Deborah; Sarikaya, Deniz (Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, 2019)