Reinhard Kahle
Notice: Undefined index: in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/CreatorView.php on line 271
Mathematical truth revisited: mathematics as a toolbox
2017
in: Varieties of scientific realism, Dordrecht : Springer
Sets, truth, and recursion
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
What is a proof?
2015
Axiomathes 25/1
A proof-theoretic view of necessity
2006
Synthese 148/3
Mathematical proof theory in the light of ordinal analysis
2002
Synthese 133/1-2