Wilfried Sieg
In the shadow of incompleteness: Hilbert and Gentzen
2012
in: Epistemology versus ontology, Dordrecht : Springer
Beyond Hilbert's reach?
2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Aspects of mathematical experience
1997
in: Philosophy of mathematics today, Dordrecht : Springer
Relative consistency and accessible domains
1990
Synthese 84/2