Michael Rathjen
(2000-2009)
XThe constructive Hilbert program and the limits of Martin-Löf type theory
2005
Synthese 147/1
Theories and ordinals in proof theory
2006
Synthese 148/3
The constructive Hilbert program and the limits of Martin-löf type theory
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer