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

[Lawrence Paulson]

Colleagues may be interested in the following book, which has finally appeared online and will be in print soon:

https://link.springer.com/book/10.1007%2F978-3-030-15655-8

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