47 found
Order:
  1.  45
    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   55 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.  47
    Haskell B. Curry (1942). The Inconsistency of Certain Formal Logic. Journal of Symbolic Logic 7 (3):115-117.
  5. 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  
  6. 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  
  7.  3
    Haskell B. Curry (1957). A Theory of Formal Deducibility. [University of Notre Dame Press].
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  8.  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  
  9.  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  
  10.  6
    Haskell B. Curry (1952). Leçons de Logique Algébrique. Gauthier-Villars.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  8
    Haskell B. Curry (1951). Outlines of a Formalist Philosophy of Mathematics. Amsterdam,North-Holland Pub. Co..
  12.  64
    Haskell B. Curry (1953). Mathematics, Syntactics and Logic. Mind 62 (246):172-183.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  13.  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  
  14.  7
    Haskell B. Curry, Robert Feys & William Craig (1959). Combinatory Logic, Volume I. Philosophical Review 68 (4):548-550.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  4
    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. 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  
  17.  2
    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  
  18.  18
    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  
  19. Haskell B. Curry (1966). A Theory of Formal Deducibility Vol. 6. University of Notre Dame.
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  20.  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  
  21.  17
    Haskell B. Curry (1959). The Interpretation of Formalized Implication. Theoria 25 (1):1-26.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  22.  5
    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  
  23.  6
    C. J. Ducasse & Haskell B. Curry (1962). Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 27 (3):255-258.
  24.  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  
  25.  6
    C. J. Ducasse & Haskell B. Curry (1963). Addendum to Early History of the Association for Symbolic Logic. Journal of Symbolic Logic 28 (4):279.
  26.  3
    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  
  27.  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  
  28.  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  
  29.  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  
  30.  7
    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. 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  
  32.  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  
  33.  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  
  34.  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  
  35. 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  
  36. 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  
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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  
  42. 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  
  43. 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.
  44. Haskell B. Curry (1960). The inferential approach to logical calculus, I. Logique Et Analyse 3 (11):119.
    Translate
     
     
    Export citation  
     
    My bibliography  
  45. 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  
  46. A. Grzegorczyk & Haskell B. Curry (1974). Recursive Objects in All Finite Types. Journal of Symbolic Logic 39 (2):343-343.
     
    Export citation  
     
    My bibliography  
  47. G. Hasenjaeger & Haskell B. Curry (1960). Calculuses and Formaly Systems. Journal of Symbolic Logic 25 (4).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography