1. Intuition, Iteration, Induction;Philosophia Mathematica;2023-11-10
2. Metaphorical reactions in 1932: from the mathematical ‘crisis of intuition’ to ‘reconstruction in the exact sciences’;British Journal for the History of Mathematics;2022-04-26
3. Gentzen’s Consistency Proof in Context;Gentzen's Centenary;2015
4. The Three Battles;L.E.J. Brouwer – Topologist, Intuitionist, Philosopher;2013
5. The Breakthrough;L.E.J. Brouwer – Topologist, Intuitionist, Philosopher;2013