, 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), 121-170.
, 1997, Aspects of mathematical experience, in E. Agazzi & G. Darvas (eds.), Philosophy of mathematics today, Dordrecht, Springer, pp. 195-217.
, 1990a, 'Relative consistency and accessible domains', Synthese 84 (2), 259-297.