Email Gateway (Aug 22 2022 at 21:00): Email Gateway (Aug 22 2022 at 21:00):From: Lawrence Paulson <lp15@cam.ac.uk>
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
Last updated: Apr 25 2024 at 12:23 UTC