- The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.details
|
|
Theological Metaphors in Mathematics.Stanisław Krajewski - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):13-30.details
|
|
Philosophy of Logic.Hilary Putnam - 1971 - New York, NY, USA: Routledge. Edited by Stephen Laurence & Cynthia Macdonald.details
|
|
The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.Curtis Franks - 2009 - New York: Cambridge University Press.details
|
|
S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.details
|
|
On non-standard models of Peano Arithmetic.Laureano Luna - 2008 - The Reasoner 2:2.details
|
|
On formal and informal provability.Hannes Leitgeb - 2009 - In Ø. Linnebo O. Bueno (ed.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan. pp. 263--299.details
|
|
(1 other version)On the Einstein Podolsky Rosen paradox.J. S. Bell - 2004 - In John Stewart Bell (ed.), Speakable and unspeakable in quantum mechanics: collected papers on quantum philosophy. New York: Cambridge University Press. pp. 14--21.details
|
|
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
Some Remarks on Axiomatised Set Theory.Thoraf Skolem - 1922 - In J. Van Heijenoort (ed.), ¸ Iteheijenoort. Harvard University Press. pp. 290--301.details
|
|
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.details
|
|
Proof Theory.Wilfried Sieg - unknowndetails
|
|
Extensions of the Finitist Point of View.Matthias Schirn & Karl-Georg Niebergall - 2001 - History and Philosophy of Logic 22 (3):135-161.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
(1 other version)Information without truth.Andrea Scarantino & Gualtiero Piccinini - 2010 - Metaphilosophy 41 (3):313-330.details
|
|
(1 other version)The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
(1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
Elements of mathematical logic.Peter Sergeevich Novikov - 1964 - Reading, Mass.,: Addison-Wesley.details
|
|
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.details
|
|
A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.details
|
|
Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: Dover Publications.details
|
|
What is Mathematics, Really?Reuben Hersh - 1997 - New York: Oxford University Press.details
|
|
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.details
|
|
(2 other versions)Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
(1 other version)On the restricted ordinal theorem.R. L. Goodstein - 1944 - Journal of Symbolic Logic 9 (2):33-41.details
|
|
(1 other version)The Logical Syntax of Language.Rudolf Carnap - 1937 - London: Routledge. Edited by Amethe Smeaton.details
|
|
(1 other version)On the Conceptuality Interpretation of Quantum and Relativity Theories.Tomas Veloz, Sandro Sozzo, Massimiliano Sassoli de Bianchi & Diederik Aerts - 2020 - Foundations of Science 25 (1):5-54.details
|
|
1st World Logic Day: 14 January 2019.Jean-Yves Beziau - 2019 - Logica Universalis 13 (1):1-20.details
|
|
(1 other version)On the Conceptuality Interpretation of Quantum and Relativity Theories.Diederik Aerts, Massimiliano Sassoli de Bianchi, Sandro Sozzo & Tomas Veloz - 2020 - Foundations of Science 25 (1):5-54.details
|
|
A Note on Wittgenstein’s “Notorious Paragraph” About the Gödel Theorem.Juliet Floyd & Hilary Putnam - 2000 - Journal of Philosophy 97 (11):624-632.details
|
|
(5 other versions)Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.details
|
|
Illustration.[author unknown] - 2004 - Rue Descartes 44:122-122.details
|
|
(3 other versions)Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.details
|
|
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.details
|
|
(2 other versions)Time Capsule.[author unknown] - 1997 - Business Ethics: The Magazine of Corporate Responsibility 11 (4):4-4.details
|
|
Axiomatic Set Theory. [REVIEW]Patrick Suppes - 1962 - Philosophical Review 71 (2):268-269.details
|
|
Aspects of the Real Numbers: Putnam, Wittgenstein, and Nonextensionalism.Juliet Floyd - 2020 - The Monist 103 (4):427-441.details
|
|
Do Goedel's incompleteness theorems set absolute limits on the ability of the brain to express and communicate mental concepts verifiably?Bhupinder Singh Anand - 2004 - Neuroquantology 2:60-100.details
|
|
The autonomy of mathematical knowledge: Hilbert's program revisited.Curtis Franks - 2011 - Bulletin of Symbolic Logic 17 (1):119-122.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.details
|
|
(3 other versions)Tractatus Logico-Philosophicus.Ludwig Wittgenstein - 1956 - Revista Portuguesa de Filosofia 12 (1):109-110.details
|
|
On the principle of the excluded middle.Andrei Kolomogorov - 1925 - In ¸ Itevanheijenoort1967. Harvard University Press. pp. 416-437.details
|
|
(1 other version)On the Restricted Ordinal Theorem.R. L. Goodstein - 1945 - Journal of Symbolic Logic 10 (3):104-105.details
|
|