[FOM] Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts

Lawrence Paulson 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.

Larry Paulson

More information about the FOM mailing list