Per Martin-Löf
2013
in: Judgement and the epistemic foundation of logic, Dordrecht : Springer
100 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
1995
in: The foundational debate, Dordrecht : Springer
Analytic and synthetic judgements in type theory
1994
in: Kant and contemporary epistemology, Dordrecht : Springer
Truth of a proposition, evidence of a judgement, validity of a proof
1987
Synthese 73/3