1118 found
Order:
  1.  99
    Alonzo Church (1951). The Need for Abstract Entities in Semantic Analysis. Proceedings of the American Academy of Arts and Sciences 80 (1):100-112.
  2.  36
    Alonzo Church (1944). Introduction to Mathematical Logic. London, H. Milford, 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  
     
    My bibliography   117 citations  
  3.  58
    Alonzo Church (1956). Introduction to Mathematical Logic. 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  
     
    My bibliography   95 citations  
  4. Alonzo Church (1958). Ontological Commitment. Journal of Philosophy 55 (23):1008-1014.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  5. Alonzo Church (1943). Carnap's Introduction to Semantics. Philosophical Review 52 (3):298-304.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  6. Alonzo Church (1973). Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I). Noûs 7 (1):24-33.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  7. Alonzo Church (1974). Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II). Noûs 8 (2):135-156.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  8. Alonzo Church (1993). A Revised Formulation of the Logic of Sense and Denotation. Alternative (1). Noûs 27 (2):141-157.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  9. Alonzo Church (1936). A Note on the Entscheidungsproblem. Journal of Symbolic Logic 1 (1):40-41.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   46 citations  
  10. Alonzo Church (1950). On Carnap's Analysis of Statements of Assertion and Belief. 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 (5 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  11.  41
    Alonzo Church (1940). A Formulation of the Simple Theory of Types. Journal of Symbolic Logic 5 (2):56-68.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   60 citations  
  12. Alonzo Church (2009). Referee Reports on Fitch's "Definition of Value". In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press 13--20.
     
    Export citation  
     
    My bibliography   5 citations  
  13.  62
    Alonzo Church (1976). Comparison of Russell's Resolution of the Semantical Antinomies with That of Tarski. Journal of Symbolic Logic 41 (4):747-760.
  14. Alonzo Church (1984). Russell's Theory of Identity of Propositions. Philosophia Naturalis 21 (2/4):513-522.
     
    Export citation  
     
    My bibliography   12 citations  
  15.  20
    Alonzo Church, Paul Henle, Horace M. Kallen & Susanne K. Langer (1952). A Formulation of the Logic of Sense and Denotation. Journal of Symbolic Logic 17 (2):133-134.
    Direct download  
     
    Export citation  
     
    My bibliography   10 citations  
  16.  10
    Alonzo Church (1941). The Calculi of Lambda-Conversion. Princeton University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   34 citations  
  17.  2
    Alonzo Church (2013). Index to Volumes 1-25: Part I. Journal of Symbolic Logic 143 (148).
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  77
    Alonzo Church (1954). Intensional Isomorphism and Identity of Belief. Philosophical Studies 5 (5):65 - 73.
  19.  12
    Alonzo Church (1953). The Weak Theory of Implication. Journal of Symbolic Logic 18 (4):326-326.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  20.  6
    Alonzo Church (1936). An Unsolvable Problem of Elementary Number Theory. Journal of Symbolic Logic 1 (2):73-74.
    Direct download  
     
    Export citation  
     
    My bibliography   21 citations  
  21.  6
    I. M. Bochenski, Alonzo Church & Nelson Goodman (1958). The Problem of Universals. Philosophical Review 67 (3):421-424.
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  22. Alonzo Church (1959). Review: Andrew H. Bachhuber, Introduction to Logic. [REVIEW] Journal of Symbolic Logic 24 (1):83-84.
     
    Export citation  
     
    My bibliography  
  23.  18
    Alonzo Church (1948). Review: George Boole, The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive Reasoning. [REVIEW] Journal of Symbolic Logic 13 (4):216-216.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  24.  14
    Alonzo Church (1943). Review: Willard V. Quine, Notes on Existence and Necessity. [REVIEW] Journal of Symbolic Logic 8 (1):45-47.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  25.  13
    Alonzo Church (1937). Review: A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem. [REVIEW] Journal of Symbolic Logic 2 (1):42-43.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  26.  6
    Alonzo Church (1963). Application of Recursive Arithmetic to the Problem of Circuit Synthesis. Journal of Symbolic Logic 28 (4):289-290.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  27.  23
    Alonzo Church (1973). Russellian Simple Type Theory. Proceedings and Addresses of the American Philosophical Association 47:21 - 33.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  28.  1
    Alonzo Church (1940). On the Concept of a Random Sequence. Journal of Symbolic Logic 5 (2):71-72.
    Direct download  
     
    Export citation  
     
    My bibliography   17 citations  
  29. Alonzo Church (1943). Review of Rudolf Carnap, Introduction to Semantics. [REVIEW] Philosophical Review 52 (3):298--304.
    Translate
     
     
    Export citation  
     
    My bibliography   9 citations  
  30.  39
    Alonzo Church (1936). Correction to a Note on the Entscheidungsproblem. Journal of Symbolic Logic 1 (3):101-102.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  31.  1
    Alonzo Church (1938). Bocheński I. M.. De Consequentiis Scholasticorum Earumque Origine. Angelicum , Vol. 15 , Pp. 1–18. Journal of Symbolic Logic 3 (1):45-46.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  1
    Alonzo Church (1963). Mates Benson. Stoic Logic. University of California Press, Berkeley and Los Angeles 1961, Vii + 148 Pp. [REVIEW] Journal of Symbolic Logic 28 (4):295.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  5
    Alonzo Church (1954). Non-Normal Truth-Tables for the Propositional Calculus. Journal of Symbolic Logic 19 (3):233-234.
    Direct download  
     
    Export citation  
     
    My bibliography  
  34.  12
    Alonzo Church (1995). A Theory of the Meaning of Names. In Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz. Rodopi 40--69.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  35.  4
    Alonzo Church (1958). Introduction to Mathematical Logic. Volume I. Philosophical Review 67 (1):116-118.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  9
    Alonzo Church (1940). Review: Willard Van Orman Quine, Mathematical Logic. [REVIEW] Journal of Symbolic Logic 5 (4):163-164.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  37.  31
    Alonzo Church & W. V. Quine (1952). Some Theorems on Definability and Decidability. Journal of Symbolic Logic 17 (3):179-187.
  38.  9
    Alonzo Church (1958). Review: Ludwig Wittgenstein, Tractatus Logico-Philosophicus. [REVIEW] Journal of Symbolic Logic 23 (2):213-213.
  39. Alonzo Church (1958). Review: Edward F. Moore, Gedanken-Experiments on Sequential Machines. [REVIEW] Journal of Symbolic Logic 23 (1):60-60.
     
    Export citation  
     
    My bibliography  
  40.  26
    Alonzo Church (1976). Schröder's Anticipation of the Simple Theory of Types. Erkenntnis 8 (1):407 - 411.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  41.  4
    Alonzo Church (1961). Prefactory Statement to the Index Volume. Journal of Symbolic Logic 26 (1/2):1.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  42.  23
    C. A. Baylis, A. Conelius Benjamin, Edgar S. Brightman, Rudolf Carnap, Alonzo Church, G. Watts Cunningham, C. J. Ducasse, Irwin Edman, Hunter Guthrie, J. S., Julius Kraft, Glenn R. Morrow, Joseph Ratner & And Julius R. Welnberg (1942). To the Editor or "Mind". Mind 51 (203):296-a-296.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  43.  4
    Alonzo Church (1936). Review: Jan Lukasiewicz, Logistic and Philosophy. [REVIEW] Journal of Symbolic Logic 1 (3):118-118.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  6
    Alonzo Church (1939). Review: J. Dieudonne, Les Methodes Axiomatiques Modernes Et les Fondements des Mathematiques. [REVIEW] Journal of Symbolic Logic 4 (4):163-163.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  45.  6
    Alonzo Church (1950). Review: Karl Menger, Are Variables Necessary in Calculus? [REVIEW] Journal of Symbolic Logic 15 (1):61-61.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  6
    Alonzo Church (1950). Review: G. H. V. Wright, On the Idea of Logical Truth (I); G. H. Von Wright, Form and Content in Logic. [REVIEW] Journal of Symbolic Logic 15 (1):58-59.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  7
    Alonzo Church (1943). Review: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem. [REVIEW] Journal of Symbolic Logic 8 (1):50-52.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  2
    Alonzo Church (1963). Mathematics and Logic. Journal of Symbolic Logic 28 (1):106-107.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  49.  4
    Alonzo Church (1950). Review: Frederic B. Fitch, The Problem of the Morning Star and the Evening Star. [REVIEW] Journal of Symbolic Logic 15 (1):63-63.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  3
    Alonzo Church (1976). Review: Douglas Lackey, Bertrand Russell, Essays in Analysis by Bertrand Russell. [REVIEW] Journal of Symbolic Logic 41 (3):700-702.
1 — 50 / 1118