Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/creator/view-inc.php on line 134
Reinhard Kahle
Deprecated: htmlspecialchars_decode(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/creator/view-inc.php on line 247
2017
in: Varieties of scientific realism, Dordrecht : Springer
2015
in: Unifying the philosophy of truth, Dordrecht : Springer
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
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