Reinhard Kahle
in English (2000-2009)
XA proof-theoretic view of necessity
2006
Synthese 148/3
Reflections on Frege and Hilbert
2005
Synthese 147/1
Mathematical proof theory in the light of ordinal analysis
2002
Synthese 133/1-2
in English (2000-2009)
XA proof-theoretic view of necessity
2006
Synthese 148/3
Reflections on Frege and Hilbert
2005
Synthese 147/1
Mathematical proof theory in the light of ordinal analysis
2002
Synthese 133/1-2