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 Calculi of Lambda-Conversion. Alonzo Church 1941 - Princeton University Press. 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 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 On Carnap's Analysis of Statements of Assertion and Belief. Alonzo Church 1949 - Analysis 10 (5):97 - 99. details Ontological Commitment. Alonzo Church 1958 - Journal of Philosophy 55 (23):1008-1014. details Referee Reports on Fitch's "Definition of Value". Alonzo Church 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox details Russell's Theory of Identity of Propositions. Alonzo Church 1984 - Philosophia Naturalis 21 (2/4):513-522. 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 Carnap's Introduction to Semantics. Alonzo Church 1943 - Philosophical Review 52 (3):298-304. 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 Review of Rudolf Carnap, Introduction to Semantics. [REVIEW] Alonzo Church 1943 - Philosophical Review 52 (3):298--304. details The Problem of Universals. I. M. Bochenski Alonzo Church Nelson Goodman 1958 - Philosophical Review 67 (3):421-424. details The Weak Theory of Implication. Alonzo Church 1951 - In A. Menne, A. Wilhelmy & H. Angsil (eds.), KontrolIiertes Denken: Untersuchungen zum Logikkalk\"{u}l und der Logik der Einzelwissenschaften 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 On Computable Numbers, with an Application to the Entscheidungsproblem. Alonzo Church A. M. Turing 1937 - Journal of Symbolic Logic 2 (1):42. details Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):289-290. details Review: Willard V. Quine, Notes on Existence and Necessity. [REVIEW] Alonzo Church 1943 - Journal of Symbolic Logic 8 (1):45-47. details Russellian Simple Type Theory. Alonzo Church 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33. details Introduction to Mathematical Logic. Alonzo Church 1958 - Journal of Symbolic Logic 23 (3):362-362. 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 Introduction to Mathematical Logic. Alonzo Church 1957 - Journal of Symbolic Logic 22 (3):286-289. details The Calculi of Lambda-Conversion. Alonzo Church 1941 - Journal of Symbolic Logic 6 (4):171-171. details On the Concept of a Random Sequence. Alonzo Church 1940 - Bulletin of the American Mathematical Society 46 (2):130--135. details ``A Note on the Entcheidunsproblem&Quot. Alonzo Church 1936 - Journal of Symbolic Logic 1:40-41. details Webb Donald L.. Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation. American Journal of Mathematics, Vol. 58 , Pp. 193–194. [REVIEW] Alonzo Church 1936 - Journal of Symbolic Logic 1 (1):42. details Propositions and Sentences. Alonzo Church Nelson Goodman 1957 - Journal of Symbolic Logic 22 (2):205-208. details A Bibliography of Symbolic Logic. Alonzo Church 1936 - Journal of Symbolic Logic 1:121. 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 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 The Weak Theory of Implication. Alonzo Church 1953 - Journal of Symbolic Logic 18 (2):177-178. details Una observación respecto de la paradoja de Quine sobre la modalidad. Alonzo Church 1982 - Análisis Filosófico 2:25. 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 Some Theorems on Definability and Decidability. Alonzo Church W. V. Quine 1952 - Journal of Symbolic Logic 17 (3):179-187. details Sierpiński W.. L'axiome de M. Zermelo Et Son Róle Dans la Théorie des Ensembles Et L'Analyse. Bulletin International de l'Académie des Sciences de Cracovie, Classe des Sciences Mathématiques Et Naturelles, Séie A, Sciences Mathématiques, Année 1918, Pp. 97–152.Sierpiński Wacław. Les Exemples Effectifs Et l'Axiome du Choix. Fundamenta Mathematicae, Vol. 2 , Pp. 112–118.Sierpiński Waclaw. Sur les Ensembles de Points Qu'on Sait Definir Effectivement. Verhandlungen des Internationalen Mathematiker-Kongresses Zürich 1932, Vol. 1 , Pp. 280–287. [REVIEW] Alonzo Church 1951 - Journal of Symbolic Logic 16 (3):235. details Introduction to Mathematical Logic. Volume I. Alonzo Church 1958 - Philosophical Review 67 (1):116-118. 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: 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 Martin Norman M.. On Completeness of Decision Element Sets. The Journal of Computing Systems, Vol. 1 No. 3 , Pp. 150–154. [REVIEW] Alonzo Church 1954 - Journal of Symbolic Logic 19 (2):143. 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
