[FOM] Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts
lp15 at cam.ac.uk
Thu Nov 21 06:34:19 EST 2019
Colleagues may be interested in the following book, which has finally appeared online and will be in print soon:
With a chapter by yours truly and others by many luminaries from the worlds of set theory, type theory, philosophy of mathematics, et cetera.
More information about the FOM