- Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.details
|
|
The reason's proper study: essays towards a neo-Fregean philosophy of mathematics.Crispin Wright & Bob Hale - 2001 - Oxford: Clarendon Press. Edited by Crispin Wright.details
|
|
Solvable Cases of the Decision Problem.[author unknown] - 1956 - Philosophy 31 (116):92-93.details
|
|
American logic in the 1920s.Martin Davis - 1995 - Bulletin of Symbolic Logic 1 (3):273-278.details
|
|
From categoricity to completeness.J. Corcoran - 1981 - History and Philosophy of Logic 2:113.details
|
|
David Hilbert and the axiomatization of physics (1894–1905).Leo Corry - 1997 - Archive for History of Exact Sciences 51 (2):83-198.details
|
|
Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.details
|
|
The Intrinsic Computational Difficulty of Functions.Alan Cobham - 1965 - In Yehoshua Bar-Hillel (ed.), Logic, Methodology and Philosophy of Science: Proceedings of the 1964 International Congress (Studies in Logic and the Foundations of Mathematics). North-Holland Publishing. pp. 24-30.details
|
|
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.details
|
|
Ontology and the vicious-circle principle.Charles S. Chihara - 1973 - Ithaca [N.Y.]: Cornell University Press.details
|
|
Probleme der Theoretischen Logik.Paul Bernays - 1978 - Journal of Symbolic Logic 43 (1):147-148.details
|
|
Axiomatic Set Theory.Paul Bernays - 1959 - Journal of Symbolic Logic 24 (3):224-225.details
|
|
Mathematical truth.Paul Benacerraf - 1973 - Journal of Philosophy 70 (19):661-679.details
|
|
Zur Widerspruchsfreiheit der Zahlentheorie.Wilhelm Ackermann - 1940 - Journal of Symbolic Logic 5 (3):125-127.details
|
|
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..details
|
|
Aus dem briefwechsel wilhelm ackermanns.Hans Richard Ackermann - 1983 - History and Philosophy of Logic 4 (1-2):181-202.details
|
|
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
David Hilbert’s ’vorlesungen’ Logic and Foundations of Mathematics.Vito Michele Abrusci - 1989 - In G. Corsi, C. Mangione & M. Mugnai (eds.), Atti Del Convegno Internazionale di Storia Della Logica, San Gimignano, 1987. Editrice Cooperativa Libraria Universitaria Editrice, 1989. pp. 333-338..details
|
|
Essays on the Theory of Numbers: I. Continuity and Irrational Numbers, Ii. The Nature and Meaning of Numbers.Richard Dedekind - 1901 - Chicago, IL, USA: Open Court.details
|
|
Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.details
|
|
Hilbert's Finitism and the Notion of Infinity.Karl-Georg Niebergall & Matthias Schirn - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Finitism and intuitive knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 249--270.details
|
|
Grundzüge der theoretischen Logik.David Hilbert & Wilhelm Ackermann - 1928 - Berlin,: J. Springer. Edited by W. Ackermann.details
|
|
A treatise of formal logic.Jørgen Jørgensen - 1931 - New York,: Russell & Russell. Edited by William W. Worster.details
|
|
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.details
|
|
The foundations of arithmetic.Gottlob Frege - 1884/1950 - Evanston, Ill.,: Northwestern University Press.details
|
|
The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Principia Mathematica.Alfred North Whitehead & Bertrand Russell - 1950 - Cambridge,: Franklin Classics. Edited by Bertrand Russell.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
David Hilbert and His Mathematical Work.Hermann Weyl - 1944 - Journal of Symbolic Logic 9 (4):98-98.details
|
|
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.details
|
|
Über die Neue Grundlagenkrise der Mathematik.Hermann Weyl - 1957 - Journal of Symbolic Logic 22 (1):81-82.details
|
|
Frege and the Philosophy of Mathematics. [REVIEW]Linda Wetzel - 1983 - Philosophical Review 92 (1):114.details
|
|
Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.details
|
|
The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.details
|
|
Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
Who were the american postulate theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.details
|
|
The Frege-Hilbert controversy.Michael David Resnik - 1974 - Philosophy and Phenomenological Research 34 (3):386-403.details
|
|
Frege and the philosophy of mathematics.Michael D. Resnik - 1980 - Ithaca, N.Y.: Cornell University Press.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
|
|
Reason and intuition.Charles Parsons - 2000 - Synthese 125 (3):299-315.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|