Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Autoren

125751

Wilfried Sieg

(2000-2009)

X

Beyond Hilbert's reach?

2009

Wilfried Sieg

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

Open Access Link

Automated search for Gödel's proofs

2008

Wilfried Sieg Clinton Field

in: Deduction, computation, experiment, Dordrecht : Springer

Open Access Link