- (1 other version)Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.details
|
|
(1 other version)Beweistheorie.[author unknown] - 1962 - British Journal for the Philosophy of Science 13 (51):251-253.details
|
|
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.details
|
|
(2 other versions)Review: Kurt Schutte, Beweistheorie. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.details
|
|
(1 other version)Existence and description in formal logic.Dana Scott - 1967 - Journal of Symbolic Logic 38 (1):181--200.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details
|
|
(2 other versions)Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details
|
|
(1 other version)On Denoting.Bertrand Russell - 2005 - Mind 114 (456):873 - 887.details
|
|
Descriptions.Stephen Neale - 1990 - MIT Press.details
|
|
A computationally-discovered simplification of the ontological argument.Paul Oppenheimer & Edward N. Zalta - 2011 - Australasian Journal of Philosophy 89 (2):333 - 349.details
|
|
(1 other version)On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.details
|
|
On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.details
|
|
(1 other version)How to define theoretical terms.David Lewis - 1970 - Journal of Philosophy 67 (13):427-446.details
|
|
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.details
|
|
(1 other version)Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, x + 350 pp. [REVIEW]B. H. Mayoh - 1970 - Journal of Symbolic Logic 34 (4):641-642.details
|
|
(2 other versions)Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.details
|
|
(1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.details
|
|
(1 other version)Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.details
|
|
Logic Bivalence and Denotation.Ermanno Bencivenga, Karel Lambert & Bas C. Van Fraassen - 1999 - Atascadero, CA, USA: Ridgeview.details
|
|
(1 other version)How to Define Theoretical Terms.David Lewis - 1970 - Journal of Symbolic Logic 36 (2):321-321.details
|
|
Jan von Plato and Sara Negri, Structural Proof Theory. [REVIEW]Harold T. Hodes - 2006 - Philosophical Review 115 (2):255-258.details
|
|
(1 other version)Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
(1 other version)Introduction to mathematical philosophy.Bertrand Russell - 1920 - Revue de Métaphysique et de Morale 27 (2):4-5.details
|
|
(1 other version)For Oiva Ketonen's 85th birthday.Sara Negri & Jan von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.details
|
|
(2 other versions)Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.details
|
|
(1 other version)Schock Rolf. Some remarks on Russell's treatment of definite descriptions. Logique et analyse, n.s. vol. 5 , pp. 77–80.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (1):105-106.details
|
|
On the termination of russell’s description elimination algorithm.Clemens Grabmayer, Joop Leo, Vincent van Oostrom & Albert Visser - 2011 - Review of Symbolic Logic 4 (3):367-393.details
|
|
(1 other version)Cut Elimination in the Presence of Axioms.Sara Negri & Jan Von Plato - 1998 - Bulletin of Symbolic Logic 4 (4):418-435.details
|
|
(1 other version)Review: Rolf Schock, Some Remarks on Russell's Treatment of Definite Descriptions. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (1):105-106.details
|
|
Intermediate logic.David Bostock - 1997 - New York: Oxford University Press.details
|
|
(2 other versions)Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
(1 other version)Dana Scott. Existence and Description in Formal Logic. Bertrand Russell, Philosopher of the century, Essays in his honour, edited by Ralph Schoenman, Little, Brown and Company, Boston and Toronto, and George Allen & Unwin Ltd, London, 1967, pp. 181-200. [REVIEW]Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):166.details
|
|
(2 other versions)Descriptions.S. Neale - 1996 - Critica 28 (83):97-129.details
|
|
(1 other version)Grundlagen der Mathematik I. Hilbert & Bernays - 1935 - Revue de Métaphysique et de Morale 42 (2):12-14.details
|
|
A Computationally-Discovered Simplification of the Ontological Argument.Paul E. Oppenheimer - 2011 - Australasian Journal of Philosophy 89 (2):333-349.details
|
|
Mathematics and Logic.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (1):106-107.details
|
|
Some Remarks on Russell's Treatment of Definite Descriptions.Rolf Schock - 1963 - Journal of Symbolic Logic 28 (1):105-106.details
|
|
(1 other version)On Free Description Theory.Bas C. Van Fraassen & Karel Lambert - 1967 - Mathematical Logic Quarterly 13 (15):225-240.details
|
|
Logically proper definite descriptions*. An essay in honor of Ruth Marcus.Karel Lambert - 1999 - Dialectica 53 (3-4):271–282.details
|
|
(1 other version)A. S. Troelstra and H. Schwichtenberg. Basic proof theory. Second edition of jsl lxiii 1605. Cambridge tracts in theoretical computer science, no. 43. cambridge university press, cambridge, new York, etc., 2000, XII + 417 pp.Roy Dyckhoff - 2001 - Bulletin of Symbolic Logic 7 (2):280-280.details
|
|
(1 other version)On Free Description Theory.Bas C. Van Fraassen & Karel Lambert - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (15):225-240.details
|
|
Descriptions.D. E. Over - 1993 - Philosophical Quarterly 43 (172):392-394.details
|
|
On Free Description Theory.Bas van Fraassen & Karel Lambert - 1967 - Mathematical Logic Quarterly 13 (15):225-240.details
|
|