- Logic and Structure
- Intuitionistic Analysis: A Constructive Frame of Mind (Springer Undergraduate Mathematics Series)
- The Selected Correspondence of L.E.J. Brouwer
- Constructivism in Mathematics: An Introduction (Volume 1) (Studies in Logic and the Foundations of Mathematics)
- Constructivism in Mathematics : Constructivism in Mathematics: Volume 1













