Order: List date First author Impact Pub year Relevance Downloads Order
Introduction to Mathematical Logic. Alonzo Church 1944 - London: Oxford University PRess. details Introduction to Mathematical Logic. Alonzo Church 1956 - Princeton: Princeton University Press. details A Formulation of the Simple Theory of Types. Alonzo Church 1940 - Journal of Symbolic Logic 5 (2):56-68. details A Note on the Entscheidungsproblem. Alonzo Church 1936 - Journal of Symbolic Logic 1 (1):40-41. details A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Alonzo Church 1993 - Noûs 27 (2):141-157. details The Need for Abstract Entities in Semantic Analysis. Alonzo Church 1951 - Proceedings of the American Academy of Arts and Sciences 80 (1):100-112. details The Calculi of Lambda-Conversion. Alonzo Church 1941 - Princeton University Press. details Referee Reports on Fitch's "Definition of Value". Alonzo Church 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox details Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I). Alonzo Church 1973 - Noûs 7 (1):24-33. 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 Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II). Alonzo Church 1974 - Noûs 8 (2):135-156. details Ontological Commitment. Alonzo Church 1958 - Journal of Philosophy 55 (23):1008-1014. details On Carnap's Analysis of Statements of Assertion and Belief. Alonzo Church 1949 - Analysis 10 (5):97 - 99. details Russell's Theory of Identity of Propositions. Alonzo Church 1984 - Philosophia Naturalis 21 (2/4):513-522. details Carnap's Introduction to Semantics. Alonzo Church 1943 - Philosophical Review 52 (3):298-304. details Index to Volumes 1-25: Part I. Alonzo Church 2013 - Journal of Symbolic Logic 143 (148). details A Formulation of the Logic of Sense and Denotation. Alonzo Church Paul Henle Horace M. Kallen Susanne K. Langer 1952 - Journal of Symbolic Logic 17 (2):133-134. details Intensional Isomorphism and Identity of Belief. Alonzo Church 1954 - Philosophical Studies 5 (5):65 - 73. details An Unsolvable Problem of Elementary Number Theory. Alonzo Church 1936 - Journal of Symbolic Logic 1 (2):73-74. details On the Concept of a Random Sequence. Alonzo Church 1940 - Journal of Symbolic Logic 5 (2):71-72. details The Problem of Universals. I. M. Bochenski Alonzo Church Nelson Goodman 1958 - Philosophical Review 67 (3):421-424. details Review of Rudolf Carnap, Introduction to Semantics. [REVIEW] Alonzo Church 1943 - Philosophical Review 52 (3):298--304. details The Weak Theory of Implication. Alonzo Church 1953 - Journal of Symbolic Logic 18 (4):326-326. details Russellian Simple Type Theory. Alonzo Church 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33. details Review: Willard V. Quine, Notes on Existence and Necessity. [REVIEW] Alonzo Church 1943 - Journal of Symbolic Logic 8 (1):45-47. details Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):289-290. details Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem. [REVIEW] Alonzo Church 1937 - Journal of Symbolic Logic 2 (1):42-43. details Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW] Alonzo Church 1959 - Journal of Symbolic Logic 24 (1):83-84. details Moore Edward F.. Gedanken-Experiments on Sequential Machines. Automata Studies, Edited by Shannon C. E. And McCarthy J., Annals of Mathematics Studies No. 34, Litho-Printed, Princeton University Press, Princeton 1956, Pp. 129–153. [REVIEW] Alonzo Church 1958 - Journal of Symbolic Logic 23 (1):60. details Correction to a Note on the Entscheidungsproblem. Alonzo Church 1936 - Journal of Symbolic Logic 1 (3):101-102. details Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. [REVIEW] Alonzo Church 1948 - Journal of Symbolic Logic 13 (4):216-216. details Propositions and Sentences. Alonzo Church Nelson Goodman 1957 - Journal of Symbolic Logic 22 (2):205-208. details Una observación respecto de la paradoja de Quine sobre la modalidad. Alonzo Church 1982 - Análisis Filosófico 2:25. details A Bibliography of Symbolic Logic. Alonzo Church 1936 - Journal of Symbolic Logic 1:121. details Review: Augustus de Morgan, On the Syllogism and Other Logical Writings by Augustus de Morgan. [REVIEW] Alonzo Church 1976 - Journal of Symbolic Logic 41 (2):546-547. details Introduction to Mathematical Logic. Volume I. Alonzo Church 1958 - Philosophical Review 67 (1):116-118. details ``A Note on the Entcheidunsproblem&Quot. Alonzo Church 1936 - Journal of Symbolic Logic 1:40-41. details Some Theorems on Definability and Decidability. Alonzo Church W. V. Quine 1952 - Journal of Symbolic Logic 17 (3):179-187. details On Computable Numbers, with an Application to the Entscheidungsproblem. Alonzo Church A. M. Turing 1937 - Journal of Symbolic Logic 2 (1):42. details Review: Paulette Destouches, La Logique Symbolique en France et les Recentes Journees de Logique. [REVIEW] Alonzo Church 1946 - Journal of Symbolic Logic 11 (3):91-91. details Review: Willard Van Orman Quine, Mathematical Logic. [REVIEW] Alonzo Church 1940 - Journal of Symbolic Logic 5 (4):163-164. details On the Concept of a Random Sequence. Alonzo Church 1940 - Bulletin of the American Mathematical Society 46 (2):130--135. details Review: L. Gutierrez Novoa, La Ley de Dualidad de los Conjuntos de Puntos. [REVIEW] Alonzo Church 1940 - Journal of Symbolic Logic 5 (1):36-37. details Meredith Carew A.. Single Axioms for the Systems , and of the Two-Valued Propositional Calculus. The Journal of Computing Systems, Vol. 1 No. 3 , Pp. 155–164. [REVIEW] Alonzo Church 1954 - Journal of Symbolic Logic 19 (2):143-144. details Some Properties of Conversion. Alonzo Church J. B. Rosser 1936 - Journal of Symbolic Logic 1 (2):74-75. details Ayer Alfred Jules. Language, Truth and Logic. Second Edition . Victor Gollancz, London 1946 ; 160 Pp. [REVIEW] Alonzo Church 1949 - Journal of Symbolic Logic 14 (1):52-53. details Frege Gottlob. Der Gedanke. Beiträge Zur Philosophie des Deutschen Idealismus, Vol. 1 No. 2 , Pp. 58–77.Frege Gottlob. Die Verneinung. Beiträge Zur Philosophie des Deutschen Idealismus, Vol. 1 No. 3–4 , Pp. 143–157.Black Max. Frege Against the Formalists. A Translation of Part of Grundgesetze der Arithmetik. Introductory Note. The Philosophical Review, Vol. 59 , Pp. 77–78.Frege Gottlob. Frege Against the Formalists. E. Heine's and J. Thomae's Theories of Irrational Numbers. The Philosophical Review, Vol. 59 , Pp. 79–93, 202–220, 332–345. Frege Gottlob. On Concept and Object. Mind, N.S. Vol. 60 , Pp. 168–180. Gromska Daniela. L'Abbé Stanisław Kobyłecki. Studia Philosophica , Vol. 3 , Pp. 40–41. [4631-2; V 43.]Gromska Daniela. Edward Stamm. Studia Philosophica , Vol. 3 , Pp. 43–45. [1851–12.3.]Gromska Daniela. Stanisław Leśniewski. Studia Philosophica , Vol. 3 , Pp. 46–51. [2021-13; V 83, 84.]Gromska Daniela. Leon Chwistek. Studia Philosophica , Vol. 3 , Pp. 51–54. [2201-15, 4911-2; II 1. [REVIEW] Alonzo Church 1953 - Journal of Symbolic Logic 18 (1):93-94. details Quine W. V.. A Logistical Approach to the Ontological Problem. Preprinted for the Members of the Fifth International Congress for the Unity of Science, Cambridge, Mass., 1939, as From The Journal of Unified Science , Vol. 9; 6 Pp. [REVIEW] Alonzo Church 1939 - Journal of Symbolic Logic 4 (4):170. details Review: Albert Whiteman, Postulates for Boolean Algebra in Terms of Ternary Rejection. [REVIEW] Alonzo Church 1937 - Journal of Symbolic Logic 2 (2):91-91. details Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW] Alonzo Church 1958 - Journal of Symbolic Logic 23 (1):60-60. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
