1000+ found
Order:
  1. Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
    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   235 citations  
  2.  80
    Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
    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   226 citations  
  3. A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
  4. An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
  5. The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
  6. A note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
  7.  15
    A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   138 citations  
  8. 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.  46
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  12. Carnap's introduction to semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
  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   35 citations  
  14. 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   45 citations  
  15. 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   36 citations  
  16.  12
    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  
  17.  25
    On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  18. 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   28 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. Ontological commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  21. Referee reports on Fitch's "definition of value".Alonzo Church - 2008 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press. pp. 13--20.
  22.  27
    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.
  23.  10
    Men of Mathematics.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  24.  82
    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   23 citations  
  25.  17
    Tractatus Logico-Philosophicus.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (2):213-213.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  26.  11
    ``A Note on the Entcheidunsproblem".Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  27.  86
    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.
  28.  50
    Review of Rudolf Carnap, Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298--304.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  29.  16
    A Note on the Entscheidungs Problem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):74-74.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  30.  14
    Tractatus Logico-Philosophicus.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  31.  8
    Intensional Isomorphism and Identity of Belief.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):294-295.
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  32.  59
    Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
  33.  75
    The Weak Theory of Implication.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (2):177-178.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  34.  57
    A bibliography of symbolic logic.Alonzo Church - 1936 - Journal of Symbolic Logic 1:121.
  35.  75
    Propositions and Sentences.Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208.
  36. 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  
  37.  10
    The Foundations of Empirical Knowledge.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):108-108.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  38.  10
    Elementary Logic.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):419-420.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  39.  9
    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  
  40.  58
    Logic, meaning, and computation: essays in memory of Alonzo Church.Alonzo Church, C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Boston: 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.  15
    Language, Truth and Logic.Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):52-53.
  42.  25
    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.
  43.  10
    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  
  44.  14
    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  
  45.  13
    The Rise of Scientific Philosophy.Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):396-396.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  46.  13
    A Note on the "Paradox of Analysis.".Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):132-133.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  47.  12
    Problems of Space and Time.Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):146-146.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  48.  62
    Correction to a note on the entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102.
  49.  26
    Existence and Description in Formal Logic.Alonzo Church, Dana Scott & Ralph Schoenman - 1973 - Journal of Symbolic Logic 38 (1):166.
  50. Alternatives to Zermelo's assumption..Alonzo Church - 1927 - New York,: New York.
1 — 50 / 1000