- Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.details
|
|
Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
‘Metamathematics’ in Transition.Matthias Wille - 2011 - History and Philosophy of Logic 32 (4):333 - 358.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.details
|
|
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.details
|
|
Comparer la logique et le droit? Quelques remarques théoriques sur l’usage du numérique en droit. [REVIEW]Jean Lassègue - 2022 - Revue de Synthèse 143 (3-4):495-511.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
Hilbert and the internal logic of mathematics.Yvon Gauthier - 1994 - Synthese 101 (1):1 - 14.details
|
|
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.details
|
|
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.details
|
|
Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.details
|
|
Hilbert's Metamathematical Problems and Their Solutions.Besim Karakadilar - 2008 - Dissertation, Boston Universitydetails
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|