Per Martin-Löf
(2000-2009)
X100 years of Zermelo's axiom of choice
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
The Hilbert-Brouwer controversy resolved?
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer