978 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.
  2.  56
    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.
  3.  40
    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   7 citations  
  4.  43
    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  
  5.  89
    A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
  6.  34
    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.
  7. 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.
  8.  28
    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.
  9. 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  
  10.  35
    An Unsolvable Problem of Elementary Number Theory.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   94 citations  
  11.  25
    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.
  12.  25
    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  
  13.  7
    Introduction to Mathematical Logic.ALONZO CHURCH - 1956 - Journal of Symbolic Logic 23 (3):362-362.
    Direct download  
     
    Export citation  
     
    Bookmark   72 citations  
  14. A Note on the Entscheidungsproblem.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   81 citations  
  15.  6
    Introduction to Mathematical Logic.ALONZO CHURCH - 1956 - Journal of Symbolic Logic 22 (3):286-289.
    Direct download  
     
    Export citation  
     
    Bookmark   70 citations  
  16.  87
    Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (4):747-760.
  17.  22
    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.
  18. Russell's Theory of Identity of Propositions.Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    Bookmark   18 citations  
  19.  19
    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  
  20.  19
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    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.
  22.  18
    Norwood Russell Hanson. A Note on the Gödel Theorem. Notre Dame Journal of Formal Logic, Vol. 2 , P. 228.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23. Intensional Isomorphism and Identity of Belief.Alonzo Church - 1954 - Philosophical Studies 5 (5):65 - 73.
  24.  62
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton University Press.
  25.  18
    Paul Kurtz. Introduction. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 17–42. - Paul Kurtz. Charles S. Peirce. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 45–47. - Paul Kurtz. Alfred North Whitehead. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 263–264. - Paul Kurtz. Morris R. Cohen. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. 372–373. - Paul Kurtz. Clarence Irving Lewis. American Philosophy in the Twentieth Century. A Sourcebook. Edited by Paul Kurtz, The Macmillan Company, New York, and Collier-Macmillan Ltd., London, 1966, Pp. [REVIEW]Alonzo Church - 1970 - Journal of Symbolic Logic 35 (2):312-313.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  17
    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.
  27. 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   26 citations  
  28. On Carnap's Analysis of Statements of Assertion and Belief.Alonzo Church - 1949 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  29.  72
    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.
  30.  16
    Benson Mates. Stoic Logic. University of California Press, Berkeley and Los Angeles1961, Vii + 148 Pp. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  16
    Karel Lambert. Existential Import Revisited. Notre Dame Journal of Formal Logic, Vol. 4 No. 4 , Pp. 288–292.Alonzo Church - 1965 - Journal of Symbolic Logic 30 (1):103-104.
  32. 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   22 citations  
  33.  16
    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.
  34.  16
    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.
  35.  3
    A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  36.  16
    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.
  37.  19
    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.
  38.  15
    Foreword. Bibliography of Polish Mathematics 1944–1954, Translated Reprint From the Roczniki Polskiego Towarzystwa Matematycznego, Seria II, Wiadomości Matematyczne, Published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , Pp. 1–2. - A. Mostowski and J. Łoś. I. Foundations of Mathematics, Theory of Sets and Mathematical Logic. Bibliography of Polish Mathematics 1944–1954, Translated Reprint From the Roczniki Polskiego Towarzystwa Matematycznego, Seria II, Wiadomości Matematyczne, Published for the Department of Commerce and the National Science Foundation, Washington, D.C., on the Order of Centralny Instytut Informacji Naukowo-Technicznej I Ekonomicznej, by Państwowe Wydawnictwo Naukowe, Warsaw 1963 , Pp. 4–17. - S. Drobot and S. Straszewicz. XI. History, Teaching, Popularization and Organization of Mathematics. Bibliog. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (3):517-517.
  39.  15
    Octavian C. B'sc'. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):625-626.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. The Need for Abstract Entities in Semantic Analysis.Alonzo Church - 1951 - Proceedings of the American Academy of Arts and Sciences 80 (1):100-112.
  41. Ontological Commitment.Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  42.  14
    Heinz Zemanek. Automaten Und Denkprozesse. German, with Summaries in German, English, and French. Digitale Informationswandler — Digital Information Processors, Edited by Friedr Walter Hoffmann. Vieweg & Sohn, Braunschweig, and Interscience Publishers, New York, 1962, Pp. 1–66. [REVIEW]Alonzo Church - 1965 - Journal of Symbolic Logic 30 (3):382.
  43.  4
    The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Journal of Symbolic Logic 6 (4):171-171.
    Direct download  
     
    Export citation  
     
    Bookmark   52 citations  
  44.  14
    J. J. C. Smart. Introduction. Problems of Space and Time, Readings Selected, Edited and Furnished with an Introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, Pp. 1–23. - G. E. M. Anscombe. Aristotle and the Sea Battle; De Interpretatione, Chapter IX. A Revised Version of XXI 388, with Some Omissions and Additions. Problems of Space and Time, Readings Selected, Edited and Furnished with an Introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, Pp. 43–57. - Ernest Nagel. Space and Geometry. A Reprint of Chapter 8 of The Structure of Science by Ernest Nagel. Problems of Space and Time, Readings Selected, Edited and Furnished with an Introduction by J. J. C. Smart, The Macmillan Company, New York, and Collier-Macmillan Limited, London, 1964, Pp. 178–213. - Nelson Goodman. Time and Language, and the Passage of Time. A Partial Reprint of Sections 2–3 of Chapter XI of XVII 130. Pro. [REVIEW]Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):146.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Carnap's Introduction to Semantics.Alonzo Church - 1943 - Philosophical Review 52 (3):298-304.
  46.  14
    W. V. Quine. Introductory Note. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 150–152. - Bertrand Russell. Mathematical Logic as Based on the Theory of Types. A Reprint of 11116. From Frege to Gödel, A Source Book in Mathematical Logic, 1879–1931 Pp. 152–182. [REVIEW]Alonzo Church - 1974 - Journal of Symbolic Logic 39 (2):355-356.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  13
    David Perlman. A Milestone in Math — Professor's New Concept. San Francisco Chronicle, Vol. 99 No. 185, July 4, 1963, P. 6. [REVIEW]Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):295.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  13
    Herbert Meschkowski. Wandlungen des mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik. Second, revised and enlarged, edition. Friedr. Vieweg & Sohn, Braunschweig1960, vii + 141 pp. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (1):111.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  13
    Charles Sanders Peirce. Insolubilia. A Reprint of 2813. Collected Papers of Charles Sanders Peirce, Volume II, Elements of Logic, Edited by Charles Hartshorne and Paul Weiss, The Belknap Press of Harvard University Press, Cambridge, Mass., and Oxford University Press, London, 1960, Pp. 370–371. - C. S. Peirce. On an Improvement in Boole's Calculus of Logic. A Reprint of 281. Collected Papers of Charles Sanders Peirce, Volume III, Exact Logic, Pp. 3–15. - C. S. Peirce. Upon the Logic of Mathematics. A Reprint of 282. Collected Papers of Charles Sanders Peirce, Volume III, Exact Logic, Pp. 16–26. - C. S. Peirce. Description of a Notation for the Logic of Relatives, Resulting From an Amplification of the Conceptions of Boole's Calculus of Logic. A Reprint of 284. Collected Papers of Charles Sanders Peirce, Volume III, Exact Logic, Pp. 27–98. - C. S. Peirce. On the Algebra of Logic. Part I.—Syllogistic. Part II.—The Logic of Non-Relative Terms. Part III.—The Logic of Relatives. A Reprint O. [REVIEW]Alonzo Church - 1969 - Journal of Symbolic Logic 34 (3):494-495.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  13
    Benson Mates. Elementare Logik . German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):615-616.
1 — 50 / 978