39 found
Order:
  1.  39
    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)  
     
    Export citation  
     
    My bibliography   54 citations  
  2.  19
    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)  
     
    Export citation  
     
    My bibliography   52 citations  
  3. Haskell B. Curry (1952). The System LD. Journal of Symbolic Logic 17 (1):35-42.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4. Haskell B. Curry (1941). Consistency and Completeness of the Theory of Combinators. Journal of Symbolic Logic 6 (2):54-61.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  5.  99
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  40
    Haskell B. Curry (1942). The Inconsistency of Certain Formal Logic. Journal of Symbolic Logic 7 (3):115-117.
  7.  2
    Haskell B. Curry (1957). A Theory of Formal Deducibility. [University of Notre Dame Press].
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  8.  59
    Haskell B. Curry (1953). Mathematics, Syntactics and Logic. Mind 62 (246):172-183.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  9.  3
    Haskell B. Curry (1946). The Paradox of Kleene and Rosser. Journal of Symbolic Logic 11 (4):136-137.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  18
    Haskell B. Curry (1952). The Elimination Theorem When Modality is Present. Journal of Symbolic Logic 17 (4):249-265.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  22
    Haskell B. Curry (1950). Language, Metalanguage, and Formal System. Philosophical Review 59 (3):346-353.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  12.  3
    Haskell B. Curry (1952). Leçons de Logique Algébrique. Gauthier-Villars.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  5
    Haskell B. Curry (1951/1970). Outlines of a Formalist Philosophy of Mathematics. Amsterdam,North-Holland Pub. Co..
  14.  1
    Haskell B. Curry (1969). Modified Basic Functionality in Combinatory Logic. Dialectica 23 (2):83-92.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  15.  2
    Haskell B. Curry (1960). Some Logical Aspects of Grammatical Structure. Journal of Symbolic Logic 25 (4):341-341.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  2
    Haskell B. Curry (1941). Some Aspects of the Problem of Mathematical Rigor. Journal of Symbolic Logic 6 (3):100-102.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  4
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  18.  1
    Haskell B. Curry, Robert Feys & William Craig (1959). Combinatory Logic, Volume I. Philosophical Review 68 (4):548-550.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  17
    Haskell B. Curry (1942). The Combinatory Foundations of Mathematical Logic. Journal of Symbolic Logic 7 (2):49-64.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  3
    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)  
     
    Export citation  
     
    My bibliography  
  21.  2
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  3
    C. J. Ducasse & Haskell B. Curry (1963). Addendum to Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 28 (4):279.
  23.  4
    C. J. Ducasse & Haskell B. Curry (1962). Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 27 (3):255-258.
  24.  8
    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)  
     
    Export citation  
     
    My bibliography  
  25.  1
    Haskell B. Curry (1953). Theory and Experience1. Dialectica 7 (2):176-178.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  6
    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)  
     
    Export citation  
     
    My bibliography  
  27.  8
    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)  
     
    Export citation  
     
    My bibliography  
  28.  2
    Haskell B. Curry (1938). Review: Paul Bernays, Logical Calculus. [REVIEW] Journal of Symbolic Logic 3 (4):162-163.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29. Haskell B. Curry (1943). Some Advances in the Combinatory Theory of Quantification. Journal of Symbolic Logic 8 (1):52-52.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  3
    Haskell B. Curry (1948). A Simplification of the Theory of Combinators. Synthese 7 (6-A):391 - 399.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  2
    Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32. 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  
     
    Export citation  
     
    My bibliography  
  33. Haskell B. Curry (1958). On Definitions in Formal Systems. Logique Et Analyse 1 (3-4):105-114.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  34. Haskell B. Curry & Paul Bernays (1956). Philosophische Bemerkungen Zu Einigen Problemen der Mathematischen Logik. Journal of Symbolic Logic 21 (4):374-377.
    Direct download  
     
    Export citation  
     
    My bibliography  
  35. 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)  
     
    Export citation  
     
    My bibliography  
  36. 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.
  37. Haskell B. Curry (1960). The inferential approach to logical calculus, I. Logique Et Analyse 3 (11):119.
    Translate
     
     
    Export citation  
     
    My bibliography  
  38. 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)  
     
    Export citation  
     
    My bibliography  
  39. A. Grzegorczyk & Haskell B. Curry (1974). Recursive Objects in All Finite Types. Journal of Symbolic Logic 39 (2):343-343.
     
    Export citation  
     
    My bibliography