Wilfried Sieg
(2012)., In the shadow of incompleteness: Hilbert and Gentzen, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 87-127.
(2009)., Beyond Hilbert's reach?, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 449-483.
with Field, C. (2008)., Automated search for Gödel's proofs, in R. Lupacchini & G. Corsi (eds.), Deduction, computation, experiment, Dordrecht, Springer, pp. 117-140.
with Schlimm, D. (2005). Dedekind's analysis of number: systems and axioms. Synthese 147 (1), pp. 121-170.
(1997)., Aspects of mathematical experience, in E. Agazzi & G. Darvas (eds.), Philosophy of mathematics today, Dordrecht, Springer, pp. 195-217.
(1990). Relative consistency and accessible domains. Synthese 84 (2), pp. 259-297.