1119 found
Order:
  1.  39
    Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, 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.  68
    Alonzo Church (1956). Introduction to Mathematical Logic. 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. Alonzo Church (1951). The Need for Abstract Entities in Semantic Analysis. Proceedings of the American Academy of Arts and Sciences 80 (1):100-112.
  4.  44
    Alonzo Church (1940). A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5 (2):56-68.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   60 citations  
  5. Alonzo Church (1936). A Note on the Entscheidungsproblem. Journal of Symbolic Logic 1 (1):40-41.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   46 citations  
  6. Alonzo Church (2009). Referee Reports on Fitch's "Definition of Value". In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press 13--20.
     
    Export citation  
     
    My bibliography   5 citations  
  7. Alonzo Church (1958). Ontological Commitment. Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  8.  15
    Alonzo Church (1941). The Calculi of Lambda-Conversion. Princeton University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   34 citations  
  9. Alonzo Church (1973). Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I). Noûs 7 (1):24-33.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  10. Alonzo Church (1993). A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Noûs 27 (2):141-157.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  11. Alonzo Church (1943). Carnap's Introduction to Semantics. Philosophical Review 52 (3):298-304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  12.  2
    Alonzo Church (2013). Index to Volumes 1-25: Part I. Journal of Symbolic Logic 143 (148).
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  13. Alonzo Church (1950). On Carnap's Analysis of Statements of Assertion and Belief. 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 (5 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  14.  64
    Alonzo Church (1976). Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski. Journal of Symbolic Logic 41 (4):747-760.
  15. Alonzo Church (1974). Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II). Noûs 8 (2):135-156.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  16. Alonzo Church (1984). Russell's Theory of Identity of Propositions. Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    My bibliography   12 citations  
  17.  82
    Alonzo Church (1954). Intensional Isomorphism and Identity of Belief. Philosophical Studies 5 (5):65 - 73.
  18.  26
    Alonzo Church, Paul Henle, Horace M. Kallen & Susanne K. Langer (1952). A Formulation of the Logic of Sense and Denotation. Journal of Symbolic Logic 17 (2):133-134.
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  19.  11
    Alonzo Church (1936). An Unsolvable Problem of Elementary Number Theory. Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    My bibliography   21 citations  
  20.  16
    Alonzo Church (1953). The Weak Theory of Implication. Journal of Symbolic Logic 18 (4):326-326.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  21.  8
    I. M. Bochenski, Alonzo Church & Nelson Goodman (1958). The Problem of Universals. Philosophical Review 67 (3):421-424.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  22.  2
    Alonzo Church (1940). On the Concept of a Random Sequence. Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    My bibliography   17 citations  
  23. Alonzo Church (1943). Review of Rudolf Carnap, Introduction to Semantics. [REVIEW] Philosophical Review 52 (3):298--304.
    Translate
     
     
    Export citation  
     
    My bibliography   9 citations  
  24.  15
    Alonzo Church (1943). Review: Willard V. Quine, Notes on Existence and Necessity. [REVIEW] Journal of Symbolic Logic 8 (1):45-47.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  25.  26
    Alonzo Church (1973). Russellian Simple Type Theory. Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  26.  25
    Alonzo Church (1948). Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. [REVIEW] Journal of Symbolic Logic 13 (4):216-216.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27. Alonzo Church (1959). Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW] Journal of Symbolic Logic 24 (1):83-84.
     
    Export citation  
     
    My bibliography  
  28.  19
    Alonzo Church (1937). Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem. [REVIEW] Journal of Symbolic Logic 2 (1):42-43.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  7
    Alonzo Church (1963). Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Journal of Symbolic Logic 28 (4):289-290.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  30.  4
    Alonzo Church (1939). 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] Journal of Symbolic Logic 4 (4):170.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  40
    Alonzo Church (1936). Correction to a Note on the Entscheidungsproblem. Journal of Symbolic Logic 1 (3):101-102.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  32.  3
    Alonzo Church (1954). 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] Journal of Symbolic Logic 19 (2):143-144.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  3
    Alonzo Church (1958). 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] Journal of Symbolic Logic 23 (1):60.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  3
    Alonzo Church (1947). Minoque Gerard P.. The Three Fundamental Laws of Thought in Their Metaphysical and Logical Aspects. Proceedings of the American Catholic Philosophical Association, Vol. 21 , Pp. 83–92. [REVIEW] Journal of Symbolic Logic 12 (3):98-99.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  32
    Alonzo Church & W. V. Quine (1952). Some Theorems on Definability and Decidability. Journal of Symbolic Logic 17 (3):179-187.
  36.  2
    Alonzo Church (1976). Review: Augustus de Morgan, On the Syllogism and Other Logical Writings by Augustus de Morgan. [REVIEW] Journal of Symbolic Logic 41 (2):546-547.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  37. Alonzo Church (1982). Una observación respecto de la paradoja de Quine sobre la modalidad. Análisis Filosófico 2:25.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  38.  6
    Alonzo Church & Nelson Goodman (1957). Propositions and Sentences. Journal of Symbolic Logic 22 (2):205-208.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  10
    Alonzo Church (1940). Review: Willard Van Orman Quine, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 5 (4):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  40.  8
    Alonzo Church (1950). Review: Atwell R. Turquette, Godel and the Synthetic a Priori. [REVIEW] Journal of Symbolic Logic 15 (3):221-222.
  41.  4
    Alonzo Church (1958). Introduction to Mathematical Logic. Volume I. Philosophical Review 67 (1):116-118.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  42. Alonzo Church (1936). ``A Note on the Entcheidunsproblem&Quot. Journal of Symbolic Logic 1:40-41.
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  43.  7
    Alonzo Church (1950). Review: Irving M. Copi (Copilowish), Modern Logic and the Synthetic a Priori. [REVIEW] Journal of Symbolic Logic 15 (3):221-221.
  44. Alonzo Church (1946). Review: Paulette Destouches, La Logique Symbolique en France et les Recentes Journees de Logique. [REVIEW] Journal of Symbolic Logic 11 (3):91-91.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  45.  1
    Alonzo Church (1936). A Bibliography of Symbolic Logic. Journal of Symbolic Logic 1:121.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  46.  12
    Alonzo Church (1995). A Theory of the Meaning of Names. In Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz. Rodopi 40--69.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  2
    Alonzo Church (1956). Bar-Hillel Yehoshua. Mr. Weiss on the Paradox of Necessary Truth. Philosophical Studies, Vol. 6 , Pp. 92–93. Journal of Symbolic Logic 21 (1):83.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Alonzo Church & A. M. Turing (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Journal of Symbolic Logic 2 (1):42.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  2
    Alonzo Church (1944). Ross Alf. Imperatives and Logic. Philosophy of Science, Vol. 11 , Pp. 30–46. Journal of Symbolic Logic 9 (2):48.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  2
    Alonzo Church & Haskell B. Curry (1942). The Inconsistency of Certain Formal Logics. Journal of Symbolic Logic 7 (4):170.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1119