39 found
Sort by:
  1. Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) (1980). To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.
  2. A. Grzegorczyk & Haskell B. Curry (1974). Recursive Objects in All Finite Types. Journal of Symbolic Logic 39 (2):343-343.
     
    My bibliography  
     
    Export citation  
  3. Haskell B. Curry (1973). The Consistency of a System of Combinatory Restricted Generality. Journal of Symbolic Logic 38 (3):489-492.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Haskell B. Curry (1971). Review: Roger Hindley, Axioms for Strong Reduction in Combinatory Logic; Bruce Lercher, The Decidability of Hindley's Axioms for Strong Reduction. [REVIEW] Journal of Symbolic Logic 36 (1):171-172.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson (1970). Basic Verifiability in the Combinatory Theory of Restricted Generality. Journal of Symbolic Logic 35 (3):469-470.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Haskell B. Curry (1969). Modified Basic Functionality in Combinatory Logic. Dialectica 23 (2):83-92.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Haskell B. Curry (1969). The Undecidability of λK-Conversion. In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Journal of Symbolic Logic. New York, Springer 10--14.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Haskell B. Curry (1963/1977). Foundations of Mathematical Logic. 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)  
     
    My bibliography  
     
    Export citation  
  9. C. J. Ducasse & Haskell B. Curry (1963). Addendum to Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 28 (4):279.
  10. C. J. Ducasse & Haskell B. Curry (1962). Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 27 (3):255-258.
  11. Haskell B. Curry (1960). Some Logical Aspects of Grammatical Structure. Journal of Symbolic Logic 25 (4):341-341.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Haskell B. Curry (1960). The inferential approach to logical calculus, I. Logique Et Analyse 3 (11):119.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Haskell B. Curry, Robert Feys & William Craig (1959). Combinatory Logic, Volume I. Philosophical Review 68 (4):548-550.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Haskell B. Curry (1958). Calculuses and Formal Systems. 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 (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Haskell B. Curry (1958). Combinatory Logic. 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)  
     
    My bibliography  
     
    Export citation  
  17. Haskell B. Curry (1958). On Definitions in Formal Systems. Logique Et Analyse 1 (3-4):105-114.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Haskell B. Curry (1957). A Theory of Formal Deducibility. [University of Notre Dame Press].
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Haskell B. Curry & Paul Bernays (1956). Philosophische Bemerkungen Zu Einigen Problemen der Mathematischen Logik. Journal of Symbolic Logic 21 (4):374-377.
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Haskell B. Curry (1953). Mathematics, Syntactics and Logic. Mind 62 (246):172-183.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  21. Haskell B. Curry (1953). Theory and Experience1. Dialectica 7 (2):176-178.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  22. Haskell B. Curry & William Craig (1953). Review: Alonzo Church, The Weak Theory of Implication. [REVIEW] Journal of Symbolic Logic 18 (2):177-178.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Haskell B. Curry (1952). Leçons de Logique Algébrique. Gauthier-Villars.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  24. Haskell B. Curry (1952). On the Definition of Negation by a Fixed Proposition in Inferential Calculus. Journal of Symbolic Logic 17 (2):98-104.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  25. Haskell B. Curry (1952). On the Definition of Substitution, Replacement and Allied Notions in a Abstract Formal System. Revue Philosophique De Louvain 50 (26):251-269.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Haskell B. Curry (1952). The Elimination Theorem When Modality is Present. Journal of Symbolic Logic 17 (4):249-265.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. Haskell B. Curry (1952). The Permutability of Rules in the Classical Inferential Calculus. Journal of Symbolic Logic 17 (4):245-248.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. Haskell B. Curry (1952). The System LD. Journal of Symbolic Logic 17 (1):35-42.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Haskell B. Curry (1951/1970). Outlines of a Formalist Philosophy of Mathematics. Amsterdam,North-Holland Pub. Co..
  30. Haskell B. Curry (1950). Language, Metalanguage, and Formal System. Philosophical Review 59 (3):346-353.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  31. Haskell B. Curry (1948). A Simplification of the Theory of Combinators. Synthese 7 (6-A):391 - 399.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Haskell B. Curry (1946). The Paradox of Kleene and Rosser. Journal of Symbolic Logic 11 (4):136-137.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Haskell B. Curry (1943). Some Advances in the Combinatory Theory of Quantification. Journal of Symbolic Logic 8 (1):52-52.
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Haskell B. Curry (1942). The Combinatory Foundations of Mathematical Logic. Journal of Symbolic Logic 7 (2):49-64.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Haskell B. Curry (1942). The Inconsistency of Certain Formal Logic. Journal of Symbolic Logic 7 (3):115-117.
  36. Haskell B. Curry (1941). A Revision of the Fundamental Rules of Combinatory Logic. Journal of Symbolic Logic 6 (2):41-53.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Haskell B. Curry (1941). Consistency and Completeness of the Theory of Combinators. Journal of Symbolic Logic 6 (2):54-61.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  38. Haskell B. Curry (1941). Some Aspects of the Problem of Mathematical Rigor. Journal of Symbolic Logic 6 (3):100-102.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Haskell B. Curry (1938). Review: Paul Bernays, Logical Calculus. [REVIEW] Journal of Symbolic Logic 3 (4):162-163.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation