Order: Listing date First author Impact Pub year Relevance Downloads Order
Introduction to Mathematical Logic. ALONZO CHURCH 1956 - Princeton: Princeton University Press. details Introduction to Mathematical Logic. ALONZO CHURCH 1944 - London: Oxford University PRess. details A Formulation of the Simple Theory of Types. Alonzo Church 1940 - Journal of Symbolic Logic 5 (2):56-68. details Referee Reports on Fitch's "Definition of Value". Alonzo Church 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox details An Unsolvable Problem of Elementary Number Theory. Alonzo Church 1936 - Journal of Symbolic Logic 1 (2):73-74. details A Note on the Entscheidungsproblem. Alonzo Church 1936 - Journal of Symbolic Logic 1 (1):40-41. details A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Alonzo Church 1993 - Noûs 27 (2):141-157. details Russell's Theory of Identity of Propositions. Alonzo Church 1984 - Philosophia Naturalis 21 (2/4):513-522. details The Calculi of Lambda-Conversion. Alonzo Church 1941 - Princeton University Press. details Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski. Alonzo Church 1976 - Journal of Symbolic Logic 41 (4):747-760. details A Formulation of the Simple Theory of Types. Alonzo Church 1940 - Journal of Symbolic Logic 5 (3):114-115. details Intensional Isomorphism and Identity of Belief. Alonzo Church 1954 - Philosophical Studies 5 (5):65 - 73. details 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. details Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II). Alonzo Church 1974 - Noûs 8 (2):135-156. details Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I). Alonzo Church 1973 - Noûs 7 (1):24-33. details 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. details The Problem of Universals. I. M. Bochenski Alonzo Church Nelson Goodman 1956 - Philosophical Review 67 (3):421-424. details Ontological Commitment. Alonzo Church 1958 - Journal of Philosophy 55 (23):1008-1014. details Carnap's Introduction to Semantics. [REVIEW] Alonzo Church 1943 - Philosophical Review 52 (3):298-304. details Men of Mathematics. Alonzo Church 1937 - Journal of Symbolic Logic 2 (2):95-95. details Tractatus Logico-Philosophicus. Alonzo Church 1958 - Journal of Symbolic Logic 23 (2):213-213. details The Inconsistency of Certain Formal Logics. Alonzo Church Haskell B. Curry 1942 - Journal of Symbolic Logic 7 (4):170. details 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. details On the Concept of a Random Sequence. Alonzo Church 1940 - Journal of Symbolic Logic 5 (2):71-72. details 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. details 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. details Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Alonzo Church C. Anthony Anderson Michael Zelëny 2001 - Kluwer Academic Publishers. details 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. details Tractatus Logico-Philosophicus. Alonzo Church 1950 - Journal of Symbolic Logic 15 (2):157-157. details 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. details On the Concept of a Random Sequence. Alonzo Church 1940 - Bulletin of the American Mathematical Society 46 (2):130--135. details Russellian Simple Type Theory. Alonzo Church 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33. details A Note on the Entscheidungs Problem. Alonzo Church 1936 - Journal of Symbolic Logic 1 (2):74-74. details Review: Alfred Jules Ayer, Language, Truth and Logic. [REVIEW] Alonzo Church 1949 - Journal of Symbolic Logic 14 (1):52-53. details Elementary Logic. Alonzo Church 1972 - Journal of Symbolic Logic 37 (2):419-420. details ``A Note on the Entcheidunsproblem&Quot. Alonzo Church 1936 - Journal of Symbolic Logic 1 (1):40-41. details Review of Rudolf Carnap, Introduction to Semantics. [REVIEW] Alonzo Church 1943 - Philosophical Review 52 (3):298--304. details 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. details 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 details 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. details 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. details 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. details 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. details 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. details Problems of Space and Time. Alonzo Church 1973 - Journal of Symbolic Logic 38 (1):146-146. details 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. details 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. details 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. details 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. details Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Alonzo Church 1963 - Journal of Symbolic Logic 28 (4):289-290. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
