5 books • 3 series
Constructivism in Mathematics Vol.1
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 346, #344)
Constructivism in Mathematics Vol.2 (Constructivism in Mathematics, #2)
Constructivism in Mathematics
Principles of Intuitionism (Lecture Notes in Mathematics, #95)