Wilfried Sieg
In the shadow of incompleteness
2012
in: Epistemology versus ontology, Dordrecht : Springer
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Automated search for Gödel's proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer
2005
Synthese 147/1
Aspects of mathematical experience
1997
in: Philosophy of mathematics today, Dordrecht : Springer
Relative consistency and accessible domains
1990
Synthese 84/2