Repository | Directory | Profile
Reinhard Kahle
Mathematical proof theory in the light of ordinal analysis
2002
Synthese 133/1-2

Reflections on Frege and Hilbert
2005
Synthese 147/1

A proof-theoretic view of necessity
2006
Synthese 148/3

Computing with mathematical arguments
2013
in: New challenges to philosophy of science, Dordrecht : Springer

2015
Axiomathes 25/1