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   158 citations  
  2.  61
    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   168 citations  
  3. A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
  4. 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.
  5.  49
    An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   109 citations  
  6. A Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   95 citations  
  7. 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   28 citations  
  8. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    Bookmark   19 citations  
  9.  74
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
  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.  4
    A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   79 citations  
  12. Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  13.  8
    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  
  14. 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   27 citations  
  15. 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   23 citations  
  16.  79
    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.
  17.  49
    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  
  18. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  19. Carnap's Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
  20.  4
    Men of Mathematics.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):95-95.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  21.  6
    Tractatus Logico-Philosophicus.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (2):213-213.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  22.  32
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  23.  48
    Karl Popper. The Logic of Scientific Discovery. Harper Torchbooks. Harper & Row, New York and Evanston1968, 480 Pp. - Karl Popper. Addendum, 1964. Therein, P. 358. - Karl Popper. Addendum, 1967. Therein, P. 362. - Karl Popper. Addendum, 1967. Therein, P. 386. - Karl Popper. Addendum, 1968. Therein, P. 441. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):471-472.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  20
    On the Concept of a Random Sequence.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    Bookmark   36 citations  
  25.  24
    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.
  26.  45
    H. A. Nielsen. Linguistic Analysis. New Catholic Encyclopedia, Prepared by an Editorial Staff at the Catholic University of America, McGraw-Hill Book Company, New York Etc. 1967, Vol. 8, Pp. 773–775. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):596-596.
  27.  51
    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  
  28.  38
    Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931, Edited by Jean van Heijenoort, Harvard University Press, Cambridge Mass., 1967, P. 124. - Bertrand Russell. Letter to Frege. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 124–125. - Jean van Heijenoort. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 126–1271. - Gottlob Frege. Letter to Russell. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 127–128. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  6
    Tractatus Logico-Philosophicus.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):157-157.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  30.  36
    Shôji Maehara. Logic in Japan. Contemporary Philosophy, A Survey, I, Logic and Foundations of Mathematics , Edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, Pp. 228–231. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (3):472.
  31. 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   29 citations  
  32.  43
    Russellian Simple Type Theory.Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
  33.  11
    A Note on the Entscheidungs Problem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):74-74.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  34. Review: Alfred Jules Ayer, Language, Truth and Logic. [REVIEW]Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):52-53.
    ... Review : Alfred Jules Ayer, Language , Truth and Logic . Alonzo Church . Source: J. Symbolic Logic Volume 14, Issue 1 (1949), 52-53. Reviewed Works: Alfred Jules Ayer, Language , Truth and Logic . Full-text: Access via JSTOR ..
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  6
    Elementary Logic.Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):419-420.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  36.  9
    ``A Note on the Entcheidunsproblem&Quot.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  37.  15
    Review of Rudolf Carnap, Introduction to Semantics. [REVIEW]Alonzo Church - 1943 - Philosophical Review 52 (3):298--304.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  38.  29
    Aleksandr Sergeyevich Yesenin-Volpin. Svobodny Filosofskij Traktat . Russian with English Translation in Parallel. Vésénnij List , Frederick A. Praeger, New York1961, Pp. 109–173. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (1):104-105.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39.  57
    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.
  40.  27
    Judith Schoenberg. Belief and Intention in the Epimenides. Philosophy and Phenomenological Research, Vol. 30 No. 2 , Pp. 270–278. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (4):671-672.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  25
    Vlad Boicescu. Sur les Algèbres de Lukasiewicz. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 71–89. - Mihail Cherciu. Filtres de Stone Dans les Treillis Distributifs. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 91–97. - George Georgescu. Les Algèbres de Lukasiewicz Θ-Valentes. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 99–169. - Ioana Petrescu. Algèbres de Morgan Injectives. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, Pp. 171–176. - Luminita State. Quelques Propriétés des Algebres de Morgan. Logique, Automatique, Informatique, Edited by Gr.C. Moisil, Éditions de l'Académie de la République Socialiste. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (1):184-184.
  42.  15
    Douglas P. Lackey. Preface. Essays in Analysis by Bertrand Russell, Edited by Douglas Lackey, Allen & Unwin, Ltd., London, and George Braziller, Inc., New York, 1973, Pp. 9–10. [REVIEW]Alonzo Church - 1976 - Journal of Symbolic Logic 41 (3):700-702.
  43.  23
    George Boole. Of Syllogisms. Reprinted From 191. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 177–191. - Rudolf Carnap. Elementary and Abstract Terms. Reprinted From IV 117. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 221–229. - Lewis Carroll . The Bilateral Diagram. Reprinted From 674. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 230–233. - Gottlob Frege. Definitions. Reprinted From XVIII 92. Classics in Logic, Readings in Epistemology, Theory of Knowledge and Dialectics, Edited by Dagobert D. Runes, Philosophical Library, New York1962, Pp. 329–342. - John Neville Keynes. Propositions. Reprinted From 631. Classics in Logic, Readings in Epistemology, Theory of Knowledge An. [REVIEW]Alonzo Church - 1964 - Journal of Symbolic Logic 29 (3):135-135.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    Hans G. Herzberger. The Logical Consistency of Language. Langmage and Learning, Edited by Janet A. Emig, James T. Fleming, and Helen M. Popp, Harcourt, Brace & World, Inc., New York-Chicago-Burlingame1966, Pp. 250–263. [REVIEW]Alonzo Church - 1968 - Journal of Symbolic Logic 33 (1):147.
  45.  7
    Problems of Space and Time.Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):146-146.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  46.  22
    G. H. R. Parkinson. Introduction. Leibniz, Logical Papers, A Selection Translated and Edited with an Introduction by G. H. R. Parkinson, Clarendon Press, Oxford1966, Pp. Ix–Ixv. - Gottfried Wilhelm Leibniz. From Of the Art of Combination . English Translation of a Portion of 11 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 1–11. - Gottfried Wilhelm Leibniz. Elements of a Calculus . English Translation of 114 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 17–24. - Gottfried Wilhelm Leibniz. Rules From Which a Decision Can Be Made, by Means of Numbers, About the Validity of Inferences and About the Forms and Moods of Categorical Syllogisms . English Translation of 118 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 25–32. - Gottfried Wilhelm Leibniz. A Specimen of the Universal Calculus . English Translation of 111 by G. H. R. Parkinson. Clarendon Press, Oxford1966, Pp. 33–39. - Gottfried Wilhelm Leibniz. Addenda to the Specimen of the Universal Calculus . Engl. [REVIEW]Alonzo Church - 1968 - Journal of Symbolic Logic 33 (1):139-140.
  47.  22
    A. J. Ayer. Editor's Introduction. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 3–28; Also First Paperback Edition, The Free Press, New York 1966, Pp. 3–28. - Bertrand Russell. Logical Atomism. A Reprint of XXV 333. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 31–50; Also Ibid., Pp. 31–50. - Moritz Schlick. Positivism and Realism. A Reprint of XVI 67. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 82–107; Also Ibid., Pp. 82–107. - Carl G. Hempel. The Empiricist Criterion of Meaning. A Reprint of XVI 293. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 108–129; Also Ibid., Pp. 108–129. - Rudolf Carnap. The Old and the New Logic. English Translation of 3525 by Isaac Levi. Logical Positivism, Edited by A. J. Ayer, The Free Press, Glencoe, Illinois, 1959, Pp. 133–146; Also Ibid., Pp. 133–146. - Hans Hahn. Logic, Mathematics and K. [REVIEW]Alonzo Church - 1970 - Journal of Symbolic Logic 35 (2):312-312.
  48.  23
    David Rynin. Introduction. A Treatise on Language, by Alexander Bryan Johnson, Edited by David Rynin, University of California Press, Berkeley and Los Angeles, and Cambridge University Press, London, 1959, Pp. 1–25. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (4):670-671.
  49.  22
    George Kimball Plochmann and Jack B. Lawson. Terms in Their Propositional Contexts in Wittgenstein's Tractatus. An Index. Southern Illinois University Press, Carbondale, Illinois, 1962, Xiv + 229 Pp. [REVIEW]Alonzo Church - 1971 - Journal of Symbolic Logic 36 (3):551.
  50.  34
    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  
1 — 50 / 1051