|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
|
|
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION
– Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
|
|
5
|
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
– Richard Zach
- 2001
|
|
4
|
"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
– Jeremy Avigad, Erich H. Reck
- 2001
|
|
|
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
- 1997
|
|
5
|
The Realm of Ordinal Analysis
– Michael Rathjen
- 1997
|
|
|
unknown title
– W. W. Tait
|
|
|
Gödel on Intuition and on Hilbert’s finitism
– W. W. Tait
|
|
1
|
The epsilon calculus and Herbrand Complexity
– G. Moser, R. Zach
- 2006
|
|
|
G.Moser R.Zach The Epsilon Calculus and
– Herbrand Complexity
- 2005
|
|
5
|
Epsilon-substitution method for the ramified language and # 1 -comprehension rule
– Grigori Mints, Sergei Tupailo
- 1999
|
|
|
Arithmetic and the Incompleteness Theorems
– Richard W. Kaye
- 2000
|
|
|
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931)
– Richard Zach
|
|
3
|
Gödel’s correspondence on proof theory and constructive mathematics
– W. W. Tait
|
|
|
Conceptions of the Continuum
– Solomon Feferman
|
|
7
|
Hilbert’s twenty-fourth problem
– Rüdiger Thiele
- 2001
|
|
1
|
Truth and the foundations of mathematics. An introduction
– H. G. Dales, G. Oliveri
|
|
28
|
On the computational content of the axiom of choice
– Stefano Berardi, Marc Bezem, Thierry Coquand
- 1998
|
|
|
BERNAYS AND SET THEORY
– Akihiro Kanamori, Heinz-dieter Ebbinghaus, Ulrich Felgner, Juliet Floyd, Wilfried Sieg, William Tait For
|
