Order: Listing date First author Impact Pub year Relevance Downloads
Order
Introduction to Mathematical Logic. Alonzo Church - 1944 - 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
The Calculi of Lambda-Conversion. Alonzo Church - 1941 - Princeton, NJ, USA: Princeton University Press. 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 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
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
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
The Inconsistency of Certain Formal Logics. Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170. 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
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
A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Alonzo Church - 1993 - Noûs 27 (2):141-157. details
Carnap's Introduction to Semantics. [REVIEW] Alonzo Church - 1943 - Philosophical Review 52 (3):298-304. details
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. details
On the Concept of a Random Sequence. Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):71-72. 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
On the Concept of a Random Sequence. Alonzo Church - 1940 - Bulletin of the American Mathematical Society 46 (2):130--135. details
Russell's Theory of Identity of Propositions. Alonzo Church - 1984 - Philosophia Naturalis 21 (2/4):513-522. details
Ontological Commitment. Alonzo Church - 1958 - Journal of Philosophy 55 (23):1008-1014. 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 Problem of Universals. I. M. Bochenski , Alonzo Church & Nelson Goodman - 1956 - Philosophical Review 67 (3):421-424. 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 . Munich: Kommissions-verlag Karl Alber. pp. 22-37. 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
A Note on the Entscheidungs Problem. Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):74-74. details
Tractatus Logico-Philosophicus. Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):157-157. details
``A Note on the Entcheidunsproblem&Quot. Alonzo Church - 1936 - Journal of Symbolic Logic 1 (1):40-41. details
Intensional Isomorphism and Identity of Belief. Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):294-295. details
Review of Rudolf Carnap, Introduction to Semantics. [REVIEW] Alonzo Church - 1943 - Philosophical Review 52 (3):298--304. details
Russellian Simple Type Theory. Alonzo Church - 1973 - Proceedings and Addresses of the American Philosophical Association 47:21 - 33. details
The Weak Theory of Implication. Alonzo Church - 1953 - Journal of Symbolic Logic 18 (2):177-178. details
A Bibliography of Symbolic Logic. Alonzo Church - 1936 - Journal of Symbolic Logic 1:121. details
Propositions and Sentences. Alonzo Church & Nelson Goodman - 1957 - Journal of Symbolic Logic 22 (2):205-208. details
The Foundations of Empirical Knowledge. Alonzo Church - 1941 - Journal of Symbolic Logic 6 (3):108-108. details
Elementary Logic. Alonzo Church - 1972 - Journal of Symbolic Logic 37 (2):419-420. details
Introduction to Logic and to the Methodology of Deductive Sciences. Alonzo Church - 1941 - Journal of Symbolic Logic 6 (1):30-32. details
Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):289-290. details
Logic, Meaning and Computation: Essays in Memory of Alonzo Church. Alonzo Church , C. Anthony Anderson & Michael Zelëny (eds.) - 2001 - Dordrecht, Netherland: Kluwer Academic Publishers. details
Cybernetics. Or Control and Communication in the Animal and the Machine. Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):127-127. details
Translations From the Philosophical Writings of Gottlob Frege. Alonzo Church - 1953 - Journal of Symbolic Logic 18 (1):92-94. details
Language, Truth and Logic. Alonzo Church - 1949 - Journal of Symbolic Logic 14 (1):52-53. details
Problems of Space and Time. Alonzo Church - 1973 - Journal of Symbolic Logic 38 (1):146-146. details
The Rise of Scientific Philosophy. Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):396-396. details
Alternatives to Zermelo's Assumption. Alonzo Church - 1927 - New York. details
A Note on the "Paradox of Analysis.". Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):132-133. details
Correction to a Note on the Entscheidungsproblem. Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):101-102. details
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. details
Some Properties of Conversion. Alonzo Church & J. B. Rosser - 1936 - Journal of Symbolic Logic 1 (2):74-75. 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