- A survey of Mathematical logic.Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.details
|
|
Principles of Mathematical Logic.G. Zubieta R. - 1951 - Journal of Symbolic Logic 16 (1):52-53.details
|
|
Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.details
|
|
The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.details
|
|
Remarks on the Foundations of Mathematics.Ludwig Wittgenstein - 1956 - Oxford: Macmillan. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
Computing machinery and intelligence.Alan M. Turing - 1950 - Mind 59 (October):433-60.details
|
|
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.details
|
|
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.details
|
|
On what there is.W. V. Quine - 1953 - In Willard Van Orman Quine (ed.), From a Logical Point of View. Cambridge: Harvard University Press. pp. 1-19.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details
|
|
On the principle of the excluded middle.Andrei Kolomogorov - 1925 - In ¸ Itevanheijenoort1967. Harvard University Press. pp. 416-437.details
|
|
Mysticism and Mathematics: Brouwer, Gödel, and the Common Core Thesis.Robert Tragesser, Mark van Atten & Mark Atten - 2015 - In Robert Tragesser, Mark van Atten & Mark Atten (eds.), Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Cham: Springer Verlag.details
|
|
The Logical Syntax of Language.Rudolf Carnap - 1937 - London: Routledge. Edited by Amethe Smeaton.details
|
|
The logical syntax of language.Rudolf Carnap - 1937 - London,: K. Paul, Trench, Trubner & co.. Edited by Amethe Smeaton.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Logic for mathematicians.J. Barkley Rosser - 1953 - Mineola, N.Y.: Dover Publications.details
|
|
Remarks on the foundations of mathematics.Ludwig Wittgenstein - 1956 - Oxford [Eng.]: Blackwell. Edited by G. E. M. Anscombe, Rush Rhees & G. H. von Wright.details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
The logical systems of Lesniewski.Eugene C. Luschei - 1962 - Amsterdam,: North-Holland Pub. Co..details
|
|
Mathematical logic and the foundations of mathematics: an introductory survey.G. T. Kneebone - 1963 - Mineola, N.Y.: Dover Publications.details
|
|
Physics and beyond: encounters and conversations.Werner Heisenberg - 1971 - London: G. Allen & Unwin.details
|
|
Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
The Structure of Models of Peano Arithmetic.Roman Kossak & James Schmerl - 2006 - Oxford, England: Clarendon Press.details
|
|
Paradox without Self-Reference.Stephen Yablo - 1993 - Analysis 53 (4):251-252.details
|
|
On the foundations of constructive mathematics – especially in relation to the theory of continuous functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.details
|
|
Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.details
|
|
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.details
|
|
Axiomatic Set Theory.Alfons Borgers - 1960 - Journal of Symbolic Logic 25 (3):277-278.details
|
|
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Step by recursive step: Church's analysis of effective calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.details
|
|
Natural formalization: Deriving the Cantor-Bernstein theorem in zf.Wilfried Sieg & Patrick Walsh - forthcoming - Review of Symbolic Logic:1-44.details
|
|
Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
The foundational problem of logic.Gila Sher - 2013 - Bulletin of Symbolic Logic 19 (2):145-198.details
|
|
Information without truth.Andrea Scarantino & Gualtiero Piccinini - 2010 - Metaphilosophy 41 (3):313-330.details
|
|
Toward a semiotics of mathematics.Brian Rotman - 1988 - Semiotica 72 (1-2):1-36.details
|
|
Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.details
|
|
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.details
|
|
Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.details
|
|
Can Church’s thesis be viewed as a Carnapian explication?Paula Quinon - 2019 - Synthese 198 (Suppl 5):1047-1074.details
|
|
The wave equation with computable initial data whose unique solution is nowhere computable.Marian B. Pour-El & Ning Zhong - 1997 - Mathematical Logic Quarterly 43 (4):499-509.details
|
|
Platonism and mathematical intuition in Kurt gödel's thought.Charles Parsons - 1995 - Bulletin of Symbolic Logic 1 (1):44-74.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
The Logical Syntax of Language. [REVIEW]E. N. - 1937 - Journal of Philosophy 34 (11):303.details
|
|
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.details
|
|
Introduction to Mathematical Logic.John Corcoran - 1964 - Journal of Symbolic Logic 54 (2):618-619.details
|
|
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.details
|
|
How applied mathematics became pure.Penelope Maddy - 2008 - Review of Symbolic Logic 1 (1):16-41.details
|
|
Minds, Machines and Gödel.John R. Lucas - 1961 - Philosophy 36 (137):112-127.details
|
|