![120620](/images/creator/_default.jpg)
Reinhard Kahle
2015
Axiomathes 25/1
Computing with mathematical arguments
2013
in: New challenges to philosophy of science, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
A proof-theoretic view of necessity
2006
Synthese 148/3
![Open Access Link](/images/OAlink.png)
Reflections on Frege and Hilbert
2005
Synthese 147/1
![Open Access Link](/images/OAlink.png)
Mathematical proof theory in the light of ordinal analysis
2002
Synthese 133/1-2
![Open Access Link](/images/OAlink.png)