1052 found
Order:
  1. Introduction to Mathematical Logic.Alonzo Church - 1944 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   211 citations  
  2.  70
    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 (3 more)  
     
    Export citation  
     
    Bookmark   197 citations  
  3. A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
  4.  97
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton, NJ, USA: Princeton University Press.
  5.  64
    An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
  6. A Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
  7.  7
    A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   120 citations  
  8. Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  9.  87
    Turing A. M.. On Computable Numbers, with an Application to the Entscheidungs Problcm. Proceedings of the London Mathematical Society, 2 S. Vol. 42 , Pp. 230–265. [REVIEW]Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):42-43.
  10. 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.  37
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  12.  11
    An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities.Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):224-225.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  13. 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  
     
    Bookmark   33 citations  
  14. Carnap's Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
  15. 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  
     
    Bookmark   25 citations  
  16. 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  
     
    Bookmark   31 citations  
  17.  24
    On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    Bookmark   43 citations  
  18. On the Concept of a Random Sequence.Alonzo Church - 1940 - Bulletin of the American Mathematical Society 46 (2):130--135.
    No categories
     
    Export citation  
     
    Bookmark   39 citations  
  19. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    Bookmark   22 citations  
  20. 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  
     
    Bookmark   25 citations  
  21. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  22.  9
    Men of Mathematics.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  23.  14
    Tractatus Logico-Philosophicus.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (2):213-213.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  24.  61
    The Problem of Universals.I. M. Bochenski, Alonzo Church & Nelson Goodman - 1956 - Philosophical Review 67 (3):421-424.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  25.  69
    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.
  26.  15
    A Note on the Entscheidungs Problem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):74-74.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  27.  11
    Tractatus Logico-Philosophicus.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  28.  10
    ``A Note on the Entcheidunsproblem&Quot.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  29.  23
    Review of Rudolf Carnap, Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298--304.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  30.  49
    Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
  31.  5
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):294-295.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  32.  25
    Rudolf Carnap. Logische Syntax der Sprache. Second Edition of 35212. Springer-Verlag, Vienna and New York1968, XI + 274 Pp. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472.
  33.  43
    The Weak Theory of Implication.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (2):177-178.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  34.  44
    A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  35.  58
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  36.  8
    The Foundations of Empirical Knowledge.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):108-108.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  8
    Elementary Logic.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):419-420.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  38.  8
    Introduction to Logic and to the Methodology of Deductive Sciences.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (1):30-32.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  39.  60
    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  
     
    Bookmark   8 citations  
  40.  55
    Logic, Meaning and Computation: Essays in Memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41.  13
    Cybernetics. Or Control and Communication in the Animal and the Machine.Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):127-127.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  8
    Translations From the Philosophical Writings of Gottlob Frege.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (1):92-94.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  43.  10
    Problems of Space and Time.Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):146-146.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  44.  6
    Language, Truth and Logic.Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):52-53.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  45.  8
    The Rise of Scientific Philosophy.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):396-396.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  46. Alternatives to Zermelo's Assumption.Alonzo Church - 1927 - New York.
  47.  58
    Correction to a Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  48.  22
    White Morton G.. A Note on the “Paradox of Analysis.” Mind, N.S. Vol. 54 , Pp. 71–72.Black Max. The “Paradox of Analysis” Again: A Reply. Mind, N.S. Vol. 54 , Pp. 272–273.White Morton G.. Analysis and Identity: A Rejoinder. Mind, N.S. Vol. 54 , Pp. 357–361.Black Max. How Can Analysis Be Informative? Philosophy and Phenomenological Research, Vol. 6 No. 4 , Pp. 628–631. [REVIEW]Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):132-133.
  49.  20
    Existence and Description in Formal Logic.Alonzo Church, Dana Scott & Ralph Schoenman - 1973 - Journal of Symbolic Logic 38 (1):166.
  50.  3
    Some Properties of Conversion.Alonzo Church & J. B. Rosser - 1936 - Journal of Symbolic Logic 1 (2):74-75.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
1 — 50 / 1052