- The Foundations of Mathematics.Charles Parsons & Evert W. Beth - 1961 - Philosophical Review 70 (4):553.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details
|
|
Set Theory and its Logic.Willard van Orman Quine - 1963 - Cambridge, MA, USA: Harvard University Press.details
|
|
The foundations of mathematics.Evert Willem Beth - 1959 - Amsterdam,: North-Holland Pub. Co..details
|
|
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.details
|
|
Set Theory and Its Logic.J. C. Shepherdson & Willard Van Orman Quine - 1965 - Philosophical Quarterly 15 (61):371.details
|
|
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.details
|
|
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.details
|
|
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.details
|
|
A Reflection On Russell's Ramified Types And Kripke's Hierarchy Of Truths.Fairouz Kamareddine & Twan Laan - 1996 - Logic Journal of the IGPL 4 (2):195-213.details
|
|
Russell's Mathematical Logic.Kurt Gödel - 1946 - In Paul Arthur Schilpp (ed.), The Philosophy of Bertrand Russell, 2nd edition. Evanston, IL: The Library of Living Philosophers, Inc.. pp. 123-154.details
|
|
Implementing Mathematics with the Nuprl Proof Development System.R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer & R. W. Harper - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.details
|
|
Comparison of Russell's resolution of the semantical antinomies with that of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.details
|
|
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.details
|
|
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..details
|
|
The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|
The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.details
|
|
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.details
|
|