46 found
Order:
  1.  41
    Haskell B. Curry (1963). 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.  21
    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 (6 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  5. 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 (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  43
    Haskell B. Curry (1942). The Inconsistency of Certain Formal Logic. Journal of Symbolic Logic 7 (3):115-117.
  7.  58
    Haskell B. Curry (1952). The Elimination Theorem When Modality is Present. Journal of Symbolic Logic 17 (4):249-265.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  8.  60
    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 (1957). A Theory of Formal Deducibility. [University of Notre Dame Press].
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  10.  4
    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  
  11.  24
    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.  4
    Haskell B. Curry (1969). Modified Basic Functionality in Combinatory Logic. Dialectica 23 (2):83-92.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  13.  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  
  14.  3
    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  
  15.  4
    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  
  16.  17
    Haskell B. Curry (1942). The Combinatory Foundations of Mathematical Logic. Journal of Symbolic Logic 7 (2):49-64.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  5
    Haskell B. Curry (1952). Leçons de Logique Algébrique. Gauthier-Villars.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  18. Haskell B. Curry & William Craig (1953). Review: Alonzo Church, The Weak Theory of Implication. [REVIEW] Journal of Symbolic Logic 18 (2):177-178.
     
    Export citation  
     
    My bibliography   2 citations  
  19.  5
    Haskell B. Curry (1951). Outlines of a Formalist Philosophy of Mathematics. Amsterdam,North-Holland Pub. Co..
  20.  5
    C. J. Ducasse & Haskell B. Curry (1963). Addendum to Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 28 (4):279.
  21.  4
    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.  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  
  23.  9
    Haskell B. Curry (1952). The Permutability of Rules in the Classical Inferential Calculus. Journal of Symbolic Logic 17 (4):245-248.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  24.  6
    C. J. Ducasse & Haskell B. Curry (1962). Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 27 (3):255-258.
  25.  8
    Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  9
    Haskell B. Curry (1941). A Revision of the Fundamental Rules of Combinatory Logic. Journal of Symbolic Logic 6 (2):41-53.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  27.  6
    Haskell B. Curry (1973). The Consistency of a System of Combinatory Restricted Generality. Journal of Symbolic Logic 38 (3):489-492.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  28.  1
    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  
  29.  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  
  30.  4
    Haskell B. Curry (1948). A Simplification of the Theory of Combinators. Synthese 7 (6-A):391 - 399.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  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  
  32. 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  
  33. Alonzo Church & Haskell B. Curry (1942). The Inconsistency of Certain Formal Logics. Journal of Symbolic Logic 7 (4):170.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Haskell B. Curry (1938). 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] Journal of Symbolic Logic 3 (4):162-163.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. 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  
  36. Haskell B. Curry & William Craig (1953). 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] Journal of Symbolic Logic 18 (2):177-178.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Haskell B. Curry & William Craig (1953). 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] Journal of Symbolic Logic 18 (4):326.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Haskell B. Curry (1971). Hindley Roger. Axioms for Strong Reduction in Combinatory Logic. Journal of Symbolic Logic 36 (1):171-172.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Haskell B. Curry (1963). Logic as Mathematical Science. Annals of the Japan Association for Philosophy of Science 2 (3):131-143.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. 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  
  41. 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  
  42. 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.
  43. Haskell B. Curry (1960). The inferential approach to logical calculus, I. Logique Et Analyse 3 (11):119.
    Translate
     
     
    Export citation  
     
    My bibliography  
  44. 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  
  45. A. Grzegorczyk & Haskell B. Curry (1974). Recursive Objects in All Finite Types. Journal of Symbolic Logic 39 (2):343-343.
     
    Export citation  
     
    My bibliography  
  46. G. Hasenjaeger & Haskell B. Curry (1960). Calculuses and Formaly Systems. Journal of Symbolic Logic 25 (4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography