1051 found
Order:
  1. 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  
     
    Bookmark   185 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 (2 more)  
     
    Export citation  
     
    Bookmark   182 citations  
  3. A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
  4.  94
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
  5.  63
    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   99 citations  
  8.  85
    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.
  9. Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  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.  10
    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  
  12.  37
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  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   30 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   22 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   30 citations  
  17. 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  
  18.  23
    On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  19. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  20.  9
    Men of Mathematics.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  21. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    Bookmark   19 citations  
  22.  14
    Tractatus Logico-Philosophicus.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (2):213-213.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  23.  60
    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  
  24.  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  
  25.  11
    Tractatus Logico-Philosophicus.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  26.  65
    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.
  27.  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  
  28.  21
    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  
  29.  49
    Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
  30.  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.
  31.  4
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):294-295.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  32.  39
    The Weak Theory of Implication.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (2):177-178.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  33.  54
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  34.  40
    A Bibliography of Symbolic Logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  35.  8
    The Foundations of Empirical Knowledge.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):108-108.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  36.  8
    Elementary Logic.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):419-420.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  37.  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  
  38.  48
    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  
  39.  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  
  40.  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  
  41.  10
    Problems of Space and Time.Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):146-146.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  42.  8
    The Rise of Scientific Philosophy.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):396-396.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  43.  5
    Language, Truth and Logic.Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):52-53.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  44.  54
    Logic, Meaning and Computation: Essays in Memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - 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  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  21
    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.
  46.  19
    Existence and Description in Formal Logic.Alonzo Church, Dana Scott & Ralph Schoenman - 1973 - Journal of Symbolic Logic 38 (1):166.
  47.  37
    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  
     
    Bookmark   6 citations  
  48.  58
    Correction to a Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  49.  11
    The Completeness of Elementary Algebra and Geometry.Alonzo Church - 1969 - Journal of Symbolic Logic 34 (2):302-302.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  11
    Reviews. Willard V. Quine. Notes on Existence and Necessity. The Journal of Philosophy, Vol. 40 , Pp. 113–127.Alonzo Church - 1943 - Journal of Symbolic Logic 8 (2):45-47.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
1 — 50 / 1051