1134 found
Order:
  1.  46
    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   124 citations  
  2.  82
    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   97 citations  
  3.  63
    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   68 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   52 citations  
  5.  32
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   35 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 (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  7. The Need for Abstract Entities in Semantic Analysis.Alonzo Church - 1951 - Proceedings of the American Academy of Arts and Sciences 80 (1):100-112.
  8. 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   15 citations  
  9.  69
    Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.
  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   16 citations  
  12. 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   28 citations  
  13. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    My bibliography   13 citations  
  14. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  15. Carnap's Introduction to Semantics.Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  16.  66
    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   14 citations  
  17.  90
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  18.  22
    An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    My bibliography   25 citations  
  19.  9
    On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    My bibliography   20 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.  18
    The Problem of Universals.I. M. Bochenski, Alonzo Church & Nelson Goodman - 1958 - Philosophical Review 67 (3):421-424.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  22.  30
    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. Munich: Kommissions-verlag Karl Alber. pp. 22-37.
  23.  25
    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  
  24.  33
    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.  18
    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  
  26.  12
    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   5 citations  
  27.  22
    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  
  28. 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   9 citations  
  29.  27
    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.  20
    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.
  31. Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):83-84.
  32. ``A Note on the Entcheidunsproblem&Quot.Alonzo Church - 1936 - Journal of Symbolic Logic 1:40-41.
    Translate
     
     
    Export citation  
     
    My bibliography   8 citations  
  33.  20
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  34. 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  
  35.  42
    Correction to a Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  36.  31
    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.
  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.  5
    The Weak Theory of Implication.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (2):177-178.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  10
    Introduction to Mathematical Logic. Volume I.Alonzo Church - 1958 - Philosophical Review 67 (1):116-118.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  40.  13
    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  
  41. 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  
  42.  6
    A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  43.  35
    Some Theorems on Definability and Decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
  44. 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  
  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.  11
    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  
  47.  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  
  48.  2
    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.
  49.  2
    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.  14
    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.
1 — 50 / 1134