John Lane Bell

John Lane Bell works in mathematical logic, philosophy of mathematics, set theory and category theory

(beware that there is also the physicist John Stewart Bell)

- John Lane Bell, M. Machover,
*A Course in Mathematical Logic*, North-Holland Amsterdam 1977 (ISBN:9780720428445)

On synthetic differential geometry:

- John Lane Bell,
*A Primer of Infinitesimal Analysis*, Cambridge UP 1998 (ISBN:9780521887182)

On Zorn's lemma and Boolean algebra in intuitionistic type theories:

- John Lane Bell,
*Zorn’s lemma and complete Boolean algebras in intuitionistic type theories*, The Journal of Symbolic Logic, 62(4):1265–1279, 1997 (doi:10.2307/2275642)

category: people

Last revised on July 23, 2021 at 15:35:01. See the history of this page for a list of all contributions to it.