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 The Calculi of Lambda-Conversion. Alonzo Church 1941 - Princeton University Press. 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 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 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 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 Russell's Theory of Identity of Propositions. Alonzo Church 1984 - Philosophia Naturalis 21 (2/4):513-522. details Ontological Commitment. Alonzo Church 1958 - Journal of Philosophy 55 (23):1008-1014. details Carnap's Introduction to Semantics. Alonzo Church 1943 - Philosophical Review 52 (3):298-304. 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 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 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 Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):289-290. details On Computable Numbers, with an Application to the Entscheidungsproblem. Alonzo Church A. M. Turing 1937 - Journal of Symbolic Logic 2 (1):42. 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 the Concept of a Random Sequence. Alonzo Church 1940 - Bulletin of the American Mathematical Society 46 (2):130--135. 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 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 Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW] Alonzo Church 1959 - Journal of Symbolic Logic 24 (1):83-84. details ``A Note on the Entcheidunsproblem&Quot. Alonzo Church 1936 - Journal of Symbolic Logic 1:40-41. 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 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 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 The Weak Theory of Implication. Alonzo Church 1953 - Journal of Symbolic Logic 18 (2):177-178. details Introduction to Mathematical Logic. Volume I. Alonzo Church 1958 - Philosophical Review 67 (1):116-118. 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 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 A Bibliography of Symbolic Logic. Alonzo Church 1936 - Journal of Symbolic Logic 1:121. details Some Theorems on Definability and Decidability. Alonzo Church W. V. Quine 1952 - Journal of Symbolic Logic 17 (3):179-187. 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 Some Properties of Conversion. Alonzo Church J. B. Rosser 1936 - Journal of Symbolic Logic 1 (2):74-75. 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: Willard Van Orman Quine, Mathematical Logic. [REVIEW] Alonzo Church 1940 - Journal of Symbolic Logic 5 (4):163-164. details Review: C. West Churchman, F. P. Clarke, M. C. Nahm, Towards a General Logic of Propositions. [REVIEW] Alonzo Church 1943 - Journal of Symbolic Logic 8 (1):53-54. 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: Donald L. Webb, Definition of Post's Generalized Negative and Maximum in Terms of One Binary Operation. [REVIEW] Alonzo Church 1936 - Journal of Symbolic Logic 1 (1):42-42. 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
