- Treatise on intuitionistic type theory.Johan Georg Granström - 2011 - New York: Springer.details
|
|
Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.details
|
|
The pragmatism of Hilbert's programme.Volker Peckhaus - 2003 - Synthese 137 (1-2):141 - 156.details
|
|
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.details
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.details
|
|
Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, Ctt Demonstrations and the Axiom of Choice.Shahid Rahman & Nicolas Clerbout - 2015 - Cham, Switzerland: Springer.details
|
|
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.details
|
|
Conditio sine qua non? Zuordnung in the early epistemologies of Cassirer and Schlick.T. A. Ryckman - 1991 - Synthese 88 (1):57 - 95.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.details
|
|
Infinity and a Critical View of Logic.Charles Parsons - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):1-19.details
|
|
The finitary standpoint.Bertil Rolf - 1980 - Erkenntnis 15 (3):287 - 300.details
|
|
Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.details
|
|
Analysis and Interpretation in the Exact Sciences: Essays in Honour of William Demopoulos.Melanie Frappier, Derek Brown & Robert DiSalle (eds.) - 2011 - Dordrecht and London: Springer.details
|
|
Critical study of Michael Potter’s Reason’s Nearest Kin. [REVIEW]Richard Zach - 2005 - Notre Dame Journal of Formal Logic 46 (4):503-513.details
|
|
Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.details
|
|
Foundations for analysis and proof theory.Wilfried Sieg - 1984 - Synthese 60 (2):159 - 200.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
On the mathematical nature of logic, featuring P. Bernays and K. Gödel.Oran Magal - unknowndetails
|
|
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.details
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
Constructive geometrical reasoning and diagrams.John Mumma - 2012 - Synthese 186 (1):103-119.details
|
|
Truth, reflection, and hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.details
|
|
Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.details
|
|
Die signififchen Grundlagen der Mathematik.Gerrit Monoury - 1934 - Erkenntnis 4 (1):317-345.details
|
|