John L. Bell

A course in mathematical logic

A primer of infinitesimal analysis

Boolean-valued models and independence proofs in set theory

EMS DAYS the Cold Case

EMS DAYS the Pit

Higher-Order Logic and Type Theory

Intuitionistic set theory

Logical options

Models and ultraproducts

One Hundred Years of Russell´s Paradox

Oppositions and Paradoxes

Perpetual Motion

Set Theory

The art of the intelligible

The axiom of choice

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Toposes and local set theories

Young Explorer's Adventure Guide