1134 found
Order:
  1.  47
    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.  86
    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.  66
    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   74 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   54 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 (5 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  6.  35
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   35 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.  72
    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. 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  
  11. 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  
  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   29 citations  
  13. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  14. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    My bibliography   13 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.  77
    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.  91
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  18.  25
    An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    My bibliography   26 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.  19
    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.  33
    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.  30
    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  
  24.  13
    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   7 citations  
  25.  26
    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.  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  
  27.  19
    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. 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.  28
    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. ``A Note on the Entcheidunsproblem&Quot.Alonzo Church - 1936 - Journal of Symbolic Logic 1:40-41.
    Translate
     
     
    Export citation  
     
    My bibliography   9 citations  
  31. Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW]Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):83-84.
  32.  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.
  33.  42
    Correction to a Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  34.  20
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  35. The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (4):171-171.
    Direct download  
     
    Export citation  
     
    My bibliography   7 citations  
  36.  16
    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  
  37.  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.
  38. 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  
  39.  6
    The Weak Theory of Implication.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (2):177-178.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  40.  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.
  41.  7
    A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  42.  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  
  43.  35
    Some Theorems on Definability and Decidability.Alonzo Church & W. V. Quine - 1952 - Journal of Symbolic Logic 17 (3):179-187.
  44.  13
    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  
  45. 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  
  46. Introduction to Mathematical Logic.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (3):362-362.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  47.  12
    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. 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  
  49.  9
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  50. 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  
1 — 50 / 1134