60 found
Order:
Disambiguations
Haskell B. Curry [57]Haskell Brooks Curry [5]
  1.  99
    Foundations of Mathematical Logic.Haskell Brooks Curry - 1963 - New York, NY, USA: 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   96 citations  
  2.  58
    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   75 citations  
  3.  41
    Outlines of a Formalist Philosophy of Mathematics.Haskell Brooks Curry - 1951 - Amsterdam: North-Holland Pub. Co..
  4.  38
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  5.  72
    The Inconsistency of Certain Formal Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
  6.  19
    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   48 citations  
  7.  69
    Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
  8.  22
    A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
    Direct download  
     
    Export citation  
     
    Bookmark   20 citations  
  9. 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   14 citations  
  10.  21
    Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  11.  66
    The Elimination Theorem When Modality is Present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.
  12.  63
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
  13. The System LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
  14.  2
    Combinatory Logic Vol. 1.Haskell Brooks Curry & Robert M. Feys - 1958 - Amsterdam, Netherlands: North-Holland Publishing Company.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. 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   5 citations  
  16.  26
    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  
  17.  18
    Leçons de Logique Algébrique.Haskell B. Curry - 1952 - Gauthier-Villars.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  18.  16
    Modified Basic Functionality in Combinatory Logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
  19.  41
    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  
  20. Leçons de Logique Algébrique.Haskell B. Curry - 1952 - British Journal for the Philosophy of Science 3 (11):293-294.
     
    Export citation  
     
    Bookmark   4 citations  
  21.  20
    Early History of the Association for Symbolic Logic.C. J. Ducasse & Haskell B. Curry - 1962 - Journal of Symbolic Logic 27 (3):255-258.
  22.  8
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  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   4 citations  
  24.  12
    On Definitions in Formal Systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
  25.  11
    To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - Academic Press.
  26.  74
    Mathematics, Syntactics and Logic.Haskell B. Curry - 1953 - Mind 62 (246):172-183.
  27. Review: Alonzo Church, The Weak Theory of Implication. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
  28.  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  
  29.  9
    The Paradox of Kleene and Rosser.Haskell B. Curry - 1946 - Journal of Symbolic Logic 11 (4):136-137.
  30. 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  
  31. 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  
  32. Two Examples of Algorithms.Haskell B. Curry - 1964 - Archive for Mathematical Logic 7 (1-2):29-44.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33. The inferential approach to logical calculus, I.Haskell B. Curry - 1960 - Logique Et Analyse 3 (11):119.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. The Undecidability of λK-Conversion.Haskell B. Curry - 1975 - Journal of Symbolic Logic 40 (2):246-246.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. Recursive Objects in All Finite Types.A. Grzegorczyk & Haskell B. Curry - 1974 - Journal of Symbolic Logic 39 (2):343-343.
     
    Export citation  
     
    Bookmark  
  36. 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   1 citation  
  37.  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  
  38.  4
    The System LD.Haskell B. Curry - 1953 - Journal of Symbolic Logic 18 (3):266-268.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  18
    Addendum to Early History of the Association for Symbolic Logic.C. J. Ducasse & Haskell B. Curry - 1963 - Journal of Symbolic Logic 28 (4):279.
  40.  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  
  41.  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.
  42.  2
    On Definitions in Formal Systems.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (1):89-90.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  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  
  44.  7
    The Deduction Theorem in the Combinatory Theory of Restricted Generality.Haskell B. Curry - 1970 - Journal of Symbolic Logic 35 (3):468-469.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
     
    Export citation  
     
    Bookmark   1 citation  
  46.  33
    The Permutability of Rules in the Classical Inferential Calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):245-248.
  47.  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  
  48.  5
    Hindley Roger. Axioms for Strong Reduction in Combinatory Logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
  49.  27
    The Interpretation of Formalized Implication.Haskell B. Curry - 1959 - Theoria 25 (1):1-26.
  50.  12
    Theory and Experience.Haskell B. Curry - 1953 - Dialectica 7 (2):176-178.
1 — 50 / 60