Wilfried Sieg

In the shadow of incompleteness: Hilbert and Gentzen

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
Beyond Hilbert's reach?

2009

in: Logicism, intuitionism, and formalism, Dordrecht : Springer

Open Access Link
Automated search for Gödel's proofs

2008

with Field Clinton

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link
Aspects of mathematical experience

1997

in: Philosophy of mathematics today, Dordrecht : Springer

Open Access Link