Reinhard Kahle
Mathematical truth revisited: mathematics as a toolbox![Open Access Link](images/OAlink.png)
2017
in: Varieties of scientific realism, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
Sets, truth, and recursion![Open Access Link](images/OAlink.png)
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
What is a proof?
2015
Axiomathes 25/1
A proof-theoretic view of necessity![Open Access Link](images/OAlink.png)
2006
Synthese 148/3
![Open Access Link](images/OAlink.png)
Mathematical proof theory in the light of ordinal analysis![Open Access Link](images/OAlink.png)
2002
Synthese 133/1-2
![Open Access Link](images/OAlink.png)