Reinhard Kahle
2015
Axiomathes 25/1
Computing with mathematical arguments
2013
in: New challenges to philosophy of science, Dordrecht : Springer
A 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