Reflections on the foundations of mathematics univalent foundations, set theory and general thoughts - Centrone, Stefania 1975-; Kant, Deborah; Sarikaya, Deniz (Springer, 2019)