- (1 other version)Decision Problem in Group Theory.[author unknown] - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:763-766.details
|
|
Philosophie und Mathematik: eine Einführung in ihre Wechselwirkungen und in die Philosophie der Mathematik.Christian Thiel - 1995details
|
|
Examples of Sets Definable by Means of Two and Three Quantifiers.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):364-365.details
|
|
Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.details
|
|
On the Reducibility of Decision Problems.A. Janiczak - 1956 - Journal of Symbolic Logic 21 (1):100-101.details
|
|
Initial Segments of Models of Peano's Axioms.L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny & A. Zarach - 1983 - Journal of Symbolic Logic 48 (2):482-483.details
|
|
Recursively Enumerable Sets of Positive Integers and Their Decision Problems.Emil L. Post - 1945 - Journal of Symbolic Logic 10 (1):18-19.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
(1 other version)Philosophie der Arithmetik.E. G. Husserl - 1891 - The Monist 2:627.details
|
|
Satisfaction Classes-a Survey.Roman Murawski - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 57:259-282.details
|
|
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.details
|
|
A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.details
|
|
On an Extension of Finitary Mathematics which has not yet been Used.Kurt Gödel - 1990 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 271--284.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.details
|
|
Church's thesis: Prelude to a proof.Janet Folina - 1998 - Philosophia Mathematica 6 (3):302-323.details
|
|
Definability and Decision Problems in Arithmetic.Julia Robinson - 1950 - Journal of Symbolic Logic 15 (1):68-69.details
|
|
Hilbert.Constance Reid - 1972 - Philosophy of Science 39 (1):106-108.details
|
|
(1 other version)More on induction in the language with a satisfaction class.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Mathematical Logic Quarterly 36 (5):441-454.details
|
|
Existential Definability in Arithmetic.Julia Robinson - 1955 - Journal of Symbolic Logic 20 (2):182-183.details
|
|
Some Applications of Formalized Consistency Proofs.G. Kreisel & Hao Wang - 1956 - Journal of Symbolic Logic 21 (4):404-405.details
|
|
Mechanical procedures and mathematical experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and mind. New York: Oxford University Press. pp. 71--117.details
|
|
Peano's smart children: a provability logical study of systems with built-in consistency.Albert Visser - 1989 - Notre Dame Journal of Formal Logic 30 (2):161-196.details
|
|
Some Current Problems in Metamathematics 1.Alfred Tarski, Jan Tarski & Jan Woleński - 1995 - History and Philosophy of Logic 16 (2):159-168.details
|
|
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
(1 other version)Second thoughts about church's thesis and mathematical proofs.Elliott Mendelson - 1990 - Journal of Philosophy 87 (5):225-233.details
|
|
(2 other versions)From Mathematics to Philosophy.Hao Wang - 1974 - London and Boston: Routledge.details
|
|
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.details
|
|
The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.details
|
|
Discours de la méthode: Pour bien conduire sa raison, et cherche la vérité dans les sciences.René Descartes & Madeleine Barthélemy-Madaule - 2018 - A. Colin.details
|
|
Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.details
|
|
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen.Kurt Schütte & Stephen G. Simpson - 1985 - Archive for Mathematical Logic 25 (1):75-89.details
|
|
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.details
|
|
Which set existence axioms are needed to prove the separable Hahn-Banach theorem?Douglas K. Brown & Stephen G. Simpson - 1986 - Annals of Pure and Applied Logic 31:123-144.details
|
|
A note on satisfaction classes.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (1):1-8.details
|
|
Mojżesz presburger: life and work.Jan Zygmunt - 1991 - History and Philosophy of Logic 12 (2):211-223.details
|
|
Recursion and Double Recursion.Raphael M. Robinson - 1949 - Journal of Symbolic Logic 14 (3):191-192.details
|
|
Kurt Gödel: Conviction and Caution.Solomon Feferman - 1984 - Philosophia Naturalis 21 (2/4):546-562.details
|
|
Wittgenstein's Philosophy of Mathematics.Michael Dummett - 1997 - Journal of Philosophy 94 (7):166--85.details
|
|
Systems of logic based on ordinals..Alan Turing - 1939 - London,: Printed by C.F. Hodgson & son.details
|
|
Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.details
|
|
Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.details
|
|
Reducibility Among Combinatorial Problems.Richard M. Karp, Raymond E. Miller & James W. Thatcher - 1975 - Journal of Symbolic Logic 40 (4):618-619.details
|
|
Some Classes of Recursive Functions.Andrzej Grzegorczyk - 1955 - Journal of Symbolic Logic 20 (1):71-72.details
|
|
Representability of Recursively Enumerable Sets in Formal Theories.A. Ehrenfeucht & S. Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-530.details
|
|
Classes of Predictably Computable Functions.Robert W. Ritchie - 1963 - Journal of Symbolic Logic 28 (3):252-253.details
|
|
Godel's theorem, church's theorem, and mechanism.J. J. C. Smart - 1961 - Synthese 13 (1):105-10.details
|
|
Theories incomparable with respect to relative interpretability.Richard Montague - 1962 - Journal of Symbolic Logic 27 (2):195-211.details
|
|
Provability: The emergence of a mathematical modality.George Boolos & Giovanni Sambin - 1991 - Studia Logica 50 (1):1 - 23.details
|
|