Title: Intuitionistic set theory, or, How to construct a proof
Subjects: Proof theory, Set theory