1123 found
Order:
  1.  45
    Introduction to Mathematical Logic.Alonzo Church - 1944 - London: Oxford University PRess.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   117 citations  
  2.  78
    Introduction to Mathematical Logic.Alonzo Church - 1956 - Princeton: Princeton University Press.
    This book is intended to be used as a textbook by students of mathematics, and also within limitations as a reference work.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   96 citations  
  3.  57
    A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   65 citations  
  4. The Need for Abstract Entities in Semantic Analysis.Alonzo Church - 1951 - Proceedings of the American Academy of Arts and Sciences 80 (1):100-112.
  5. A Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   50 citations  
  6. A Revised Formulation of the Logic of Sense and Denotation. Alternative (1).Alonzo Church - 1993 - Noûs 27 (2):141-157.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  7. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I).Alonzo Church - 1973 - Noûs 7 (1):24-33.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  8.  30
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   34 citations  
  9. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  10. Referee Reports on Fitch's "Definition of Value".Alonzo Church - 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press. pp. 13--20.
     
    Export citation  
     
    My bibliography   5 citations  
  11. Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II).Alonzo Church - 1974 - Noûs 8 (2):135-156.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  12.  65
    Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.
  13. On Carnap's Analysis of Statements of Assertion and Belief.Alonzo Church - 1949 - Analysis 10 (5):97 - 99.
    The intent of the article is to point out an objection against analyses that attempt to eliminate propositions and replace them with sentences. (staff).
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  14. Carnap's Introduction to Semantics.Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  15. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    My bibliography   12 citations  
  16.  2
    Index to Volumes 1-25: Part I.Alonzo Church - 2013 - Journal of Symbolic Logic 143 (148).
  17.  54
    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.
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  18.  88
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  19.  21
    An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    My bibliography   22 citations  
  20. Review of Rudolf Carnap, Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298--304.
    Translate
     
     
    Export citation  
     
    My bibliography   9 citations  
  21.  16
    The Problem of Universals.I. M. Bochenski, Alonzo Church & Nelson Goodman - 1958 - Philosophical Review 67 (3):421-424.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  22.  4
    On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    My bibliography   17 citations  
  23.  24
    The Weak Theory of Implication.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):326-326.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  24.  32
    Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  25.  20
    Review: Willard V. Quine, Notes on Existence and Necessity. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):45-47.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  26.  15
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  13
    Application of Recursive Arithmetic to the Problem of Circuit Synthesis.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):289-290.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  28. Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):83-84.
  29.  24
    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.
  30.  15
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  31.  26
    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.
  32.  41
    Correction to a Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  33.  9
    Introduction to Mathematical Logic. Volume I.Alonzo Church - 1958 - Philosophical Review 67 (1):116-118.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  34.  5
    A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  35. Una observación respecto de la paradoja de Quine sobre la modalidad.Alonzo Church - 1982 - Análisis Filosófico 2:25.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  36.  33
    Some Theorems on Definability and Decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
  37.  2
    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.
  38.  8
    On Computable Numbers, with an Application to the Entscheidungsproblem.Alonzo Church & A. M. Turing - 1937 - Journal of Symbolic Logic 2 (1):42.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39.  13
    Review: Willard Van Orman Quine, Mathematical Logic. [REVIEW]Alonzo Church - 1940 - Journal of Symbolic Logic 5 (4):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  40. On the Concept of a Random Sequence.Alonzo Church - 1940 - Bulletin of the American Mathematical Society 46 (2):130--135.
    No categories
     
    Export citation  
     
    My bibliography   6 citations  
  41. ``A Note on the Entcheidunsproblem&Quot.Alonzo Church - 1936 - Journal of Symbolic Logic 1:40-41.
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  42. 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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  43.  7
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  7
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45.  7
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46. Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):60-60.
  47. 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.
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   5 citations  
  48. Some Properties of Conversion.Alonzo Church & J. B. Rosser - 1936 - Journal of Symbolic Logic 1 (2):74-75.
    Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  49.  6
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  6
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
1 — 50 / 1123