- Grundlagen der Arithmetik, §17: Part 1. Frege’s Anticipation of the Deduction Theorem.Göran Sundholm - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 53-84.details
|
|
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.details
|
|
Quantification in the Interpretational Theory of Validity.Marco Grossi - 2023 - Synthese 202 (3):1-21.details
|
|
What is Life?Guenther Witzany - 2020 - Frontiers in Astronomy and Space Sciences 7:1-13.details
|
|
Hilbert’s Finitism: Historical, Philosophical, and Metamathematical Perspectives.Richard Zach - 2001 - Dissertation, University of California, Berkeleydetails
|
|
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.details
|
|
(1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.details
|
|
Different senses of finitude: An inquiry into Hilbert’s finitism.Sören Stenlund - 2012 - Synthese 185 (3):335-363.details
|
|
On Kinds of Indiscernibility in Logic and Metaphysics.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (1):27-84.details
|
|
Paradoxes and contemporary logic.Andrea Cantini - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
Takeuti's proof theory in the context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.details
|
|
Elimination problems in logic: a brief history.William Craig - 2008 - Synthese 164 (3):321-332.details
|
|
Criteria of Identity: Strong and Wrong.Hannes Leitgeb - 2013 - British Journal for the Philosophy of Science 64 (1):61-68.details
|
|
Symmetries and Paraparticles as a Motivation for Structuralism.Adam Caulton & Jeremy Butterfield - 2012 - British Journal for the Philosophy of Science 63 (2):233-285.details
|
|
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
The Calculus of Natural Calculation.René Gazzari - 2021 - Studia Logica 109 (6):1375-1411.details
|
|
Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.details
|
|
Necessity of Thought.Cesare Cozzo - 2014 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Cham, Switzerland: Springer. pp. 101-20.details
|
|
Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.details
|
|
Quine's theory of logic.R. J. Haack - 1978 - Erkenntnis 13 (1):231 - 259.details
|
|