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)