

Beschreibung
Presents some of the most important scholars in the fields of set theory, univalent foundations and philosophy of mathematics Considers criteria for a suitable foundation in mathematics, fostering interdisciplinary discussion Brings readers up to date with co...