- Logic and Structure
- The Selected Correspondence of L.E.J. Brouwer
- L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life
- Constructivism in Mathematics: An Introduction (Volume 1) (Studies in Logic and the Foundations of Mathematics)
- Constructivism in Mathematics : Constructivism in Mathematics: Volume 1