60 found
Order:
  1.  96
    Foundations of Mathematical Logic.Haskell B. Curry - 1963 - Dover Publications.
    Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   77 citations  
  2.  51
    Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
    CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  3.  69
    The Inconsistency of Certain Formal Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
  4.  37
    Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry - 1951 - Amsterdam: North-Holland Pub. Co..
  5.  13
    Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  6.  35
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  7.  59
    Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
  8.  11
    A Theory of Formal Deducibility.Haskell B. Curry - 1957 - [University of Notre Dame Press].
  9.  15
    A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  10.  59
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
  11.  66
    The Elimination Theorem When Modality is Present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.
  12. The System LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
  13.  19
    Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  14. On the Definition of Negation by a Fixed Proposition in Inferential Calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (2):98-104.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  25
    On the Definition of Substitution, Replacement and Allied Notions in a Abstract Formal System.Haskell B. Curry - 1952 - Revue Philosophique De Louvain 50 (26):251-269.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  18
    Leçons de Logique Algébrique.Haskell B. Curry - 1952 - Gauthier-Villars.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  17.  16
    Modified Basic Functionality in Combinatory Logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
  18.  38
    Language, Metalanguage, and Formal System.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  19
    Early History of the Association for Symbolic Logic.C. J. Ducasse & Haskell B. Curry - 1962 - Journal of Symbolic Logic 27 (3):255-258.
  20.  5
    Some Aspects of the Problem of Mathematical Rigor.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (3):100-102.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  11
    On Definitions in Formal Systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
  22. Review: Alonzo Church, The Weak Theory of Implication. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
  23.  6
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  5
    Church Alonzo. The Weak Theory of Implication. Kontrolliertes Denken, Untersuchungen Zum Logikkalkül Unci Zur Logik der Einzelwissenschaften, Rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, Pp. 22–37. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  25.  74
    Mathematics, Syntactics and Logic.Haskell B. Curry - 1953 - Mind 62 (246):172-183.
  26.  31
    The Consistency of a System of Combinatory Restricted Generality.Haskell B. Curry - 1973 - Journal of Symbolic Logic 38 (3):489-492.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  12
    Theory and Experience.Haskell B. Curry - 1953 - Dialectica 7 (2):176-178.
  28.  26
    The Interpretation of Formalized Implication.Haskell B. Curry - 1959 - Theoria 25 (1):1-26.
  29.  9
    Calculuses and Formaly Systems.G. Hasenjaeger & Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4).
  30.  15
    A Simplification of the Theory of Combinators.Haskell B. Curry - 1948 - Synthese 7 (6-A):391 - 399.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  9
    The Paradox of Kleene and Rosser.Haskell B. Curry - 1946 - Journal of Symbolic Logic 11 (4):136-137.
  32.  6
    Calculuses and Formal Systems.Haskell B. Curry - 1958 - Dialectica 12 (3‐4):249-273.
    Lorenzen, in his book Einführung in die operative Logik und Mathematik has given a relatively precise form of syntactical system which he calls a calculus. The present paper deals with the relationship of Lorenzen's notion of calculus with the notion of formal system . It is shown that the obs of a formal system can be represented as the theses of a calculus of a certain type just when the calculus has a property called the tectonic property, and conditions are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  4
    The System LD.Haskell B. Curry - 1953 - Journal of Symbolic Logic 18 (3):266-268.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  4
    Church Alonzo. The Weak Theory of Implication. Kontrolliertes Denken, Untersuchungen Zum Logikkalkiil Unci Zur Logik der Einzelwissenschaften, Rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, Pp. 22–37. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (4):326-326.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  35.  2
    On Definitions in Formal Systems.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (1):89-90.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  1
    Some Advances in the Combinatory Theory of Quantification.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):52-52.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  18
    A Revision of the Fundamental Rules of Combinatory Logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):41-53.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  38.  3
    A Revision of the Fundamental Rules of Combinatory Logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (4):170-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
     
    Export citation  
     
    Bookmark   1 citation  
  40.  11
    Bernays Paul. Logical Calculus. Notes on Lectures at the Institute for Advanced Study 1935–36, Prepared with the Assistance of F. A. Ficken. Mimeographed. Institute for Advanced Study, Princeton, N. J., 1936, 125 Pp. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.
  41.  14
    Basic Verifiability in the Combinatory Theory of Restricted Generality.Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1970 - Journal of Symbolic Logic 35 (3):469-470.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Consistency and Completeness of the Theory of Combinators.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):54-61.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  43.  5
    Hindley Roger. Axioms for Strong Reduction in Combinatory Logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
  44.  4
    Logic as Mathematical Science.Haskell B. Curry - 1963 - Annals of the Japan Association for Philosophy of Science 2 (3):131-143.
  45. Leçons de Logique Algébrique.Haskell B. Curry - 1952 - British Journal for the Philosophy of Science 3 (11):293-294.
     
    Export citation  
     
    Bookmark   3 citations  
  46. On a Polynomial Representation of Λβ Normal Forms.Haskell B. Curry - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. De Gruyter. pp. 94-98.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
     
    Export citation  
     
    Bookmark   12 citations  
  48. Philosophische Bemerkungen zu einigen problemen der mathematischen Logik.Haskell B. Curry - 1951 - Archiv für Philosophie 4 (2):147.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  22
    Roger Hindley. Axioms for Strong Reduction in Combinatory Logic. The Journal of Symbolic Logic, Vol. 32 , Pp. 224–236. - Bruce Lercher. The Decidability of Hindley's Axioms for Strong Reduction. The Journal of Symbolic Logic, Vol. 32 , Pp. 237–239. [REVIEW]Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    Review: Paul Bernays, Logical Calculus. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.
1 — 50 / 60