Book

Intuitionistic set theory

by John L. Bell