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. A Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   49 citations  
  5. 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  
  6. The Need for Abstract Entities in Semantic Analysis.Alonzo Church - 1951 - Proceedings of the American Academy of Arts and Sciences 80 (1):100-112.
  7.  29
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   34 citations  
  8. 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  
  9. 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  
  10.  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.
  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. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  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   25 citations  
  14. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    My bibliography   12 citations  
  15. Carnap's Introduction to Semantics.Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  16.  2
    Index to Volumes 1-25: Part I.Alonzo Church - 2013 - Journal of Symbolic Logic 143 (148).
  17.  47
    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.  87
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  19.  20
    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.  3
    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  
  21.  15
    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. Review of Rudolf Carnap, Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298--304.
    Translate
     
     
    Export citation  
     
    My bibliography   9 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.  31
    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.  17
    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.  12
    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  
  27.  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.
  28. Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):83-84.
  29.  11
    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  
  30.  41
    Correction to a Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  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.  13
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  33. 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  
  34.  5
    A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  35.  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.
  36.  8
    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  
  37. ``A Note on the Entcheidunsproblem&Quot.Alonzo Church - 1936 - Journal of Symbolic Logic 1:40-41.
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  38.  33
    Some Theorems on Definability and Decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
  39.  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  
  40. 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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  41.  12
    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  
  42. 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   5 citations  
  43. 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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   5 citations  
  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. 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  
  46.  6
    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  
  47.  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  
  48.  6
    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  
  49.  1
    Review: Albert Whiteman, Postulates for Boolean Algebra in Terms of Ternary Rejection. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):91-91.
  50. Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW]Alonzo Church - 1958 - Journal of Symbolic Logic 23 (1):60-60.
1 — 50 / 1123