28 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. 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  
  3. 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  
  4. Haskell B. Curry (1969). Modified Basic Functionality in Combinatory Logic. Dialectica 23 (2):83-92.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Haskell B. Curry (1969). The Undecidability of λK-Conversion. In Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.), Foundations of Mathematics. New York, Springer. 10--14.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. 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  
     
    My bibliography  
     
    Export citation  
  7. C. J. Ducasse & Haskell B. Curry (1963). Addendum to Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 28 (4):279.
  8. C. J. Ducasse & Haskell B. Curry (1962). Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 27 (3):255-258.
  9. Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Haskell B. Curry (1958). Calculuses and Formal Systems. Dialectica 12 (3‐4):249-273.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. 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. ...
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Haskell B. Curry (1958). On Definitions in Formal Systems. Logique Et Analyse 1 (3-4):105-114.
    No categories
     
    My bibliography  
     
    Export citation  
  13. Haskell B. Curry (1953). Mathematics, Syntactics and Logic. Mind 62 (246):172-183.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  14. Haskell B. Curry (1953). Theory and Experience1. Dialectica 7 (2):176-178.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. 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  
  16. 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  
  17. 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  
  18. 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  
  19. 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  
  20. Haskell B. Curry (1952). The System LD. Journal of Symbolic Logic 17 (1):35-42.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Haskell B. Curry (1951/1970). Outlines of a Formalist Philosophy of Mathematics. Amsterdam,North-Holland Pub. Co..
     
    My bibliography  
     
    Export citation  
  22. 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  
  23. 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  
  24. 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  
  25. Haskell B. Curry (1942). The Inconsistency of Certain Formal Logic. Journal of Symbolic Logic 7 (3):115-117.
  26. 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  
  27. 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  
  28. 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