John Lane Bell

The face

The background

Nationality:

Canadian

Branchs:

Set theory, Model theory, Lattice theory, Modal logic, Quantum logic, Constructive mathematics, Type theory, Topos theory, infinitesimal analysis, Philosophy of mathematics, Mathematical logic, Foundations of mathematics, Intuitionistic logic, Axiom of choice

The synopsis