18 found
Order:
  1.  21
    Remarks on the definition and nature of mathematics.H. B. Curry - 1954 - Dialectica 8 (3):228-233.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. A mathematical treatment of the rules of the syllogism.H. B. Curry - 1936 - Mind 45 (178):209-216.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  9
    A Mathematical Treatment of the Rules of the Syllogism.H. B. Curry - 1936 - Journal of Symbolic Logic 1 (3):114-114.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  6
    A Note on the Reduction of Gentzen's Calculus LJ.H. B. Curry - 1939 - Journal of Symbolic Logic 4 (3):128-128.
  5. Representation of Markov algorithms by combinators.H. B. Curry - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 109--119.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  6.  2
    Remarks on the Definition and Nature of Mathematics.H. B. Curry - 1957 - Journal of Symbolic Logic 22 (1):85-86.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  15
    The Logic of Program Composition.H. B. Curry - 1957 - Journal of Symbolic Logic 22 (1):102-103.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. On the use of dots as brackets in logical expressions.H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):26-28.
    The Peanese convention for the use of dots as brackets has the disadvantage that it gives only an awkward method for representing chains of indefinite length, such as the compound implicationSuch chains occur frequently in logical investigations of a metatheoretic nature, and it is convenient to have a systematic method of abbreviating them. The most obvious method of doing this would be to leave the parentheses out entirely, and to understand that in such cases the implication sign or other operation (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  17
    Friedman, JH, 167 Friedman, N., 165.A. Collins, J. L. Coolidge, T. Coote, B. Corrigan, D. D. Cummins, H. B. Curry, J. Czerlinksi, C. Daood, L. Daston & S. B. Datta - 2002 - In Renée Elio (ed.), Common Sense, Reasoning, & Rationality. Oxford University Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  6
    A New Proof of the Church-Rosser Theorem.H. B. Curry - 1956 - Journal of Symbolic Logic 21 (4):377-378.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Basic theory of functionality. Analogies with propositional algebra.H. B. Curry & R. Feys - 1995 - In Philippe De Groote (ed.), The Curry-Howard Isomorphism. Academia.
     
    Export citation  
     
    Bookmark   1 citation  
  12.  5
    Languages and Formal Systems.H. B. Curry - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:770-772.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  5
    On the use of Dots as Brackets in Logical Expressions.H. B. Curry - 1937 - Journal of Symbolic Logic 2 (2):90-91.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  4
    The deduction theorem in the combinatory theory of restricted generality.H. B. Curry - 1960 - Logique Et Analyse 3 (3):15-39.
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  33
    Remarks on the Definition and Nature of Mathematics.J. C. C. McKinsey & H. B. Curry - 1940 - Journal of Symbolic Logic 5 (1):26.
  16.  29
    Church Alonzo. Mathematical logic. Lectures delivered at Princeton University, October 1935–January 1936. Notes by Ficken F. A., Landau H. G., Ruja H., Singleton R. R., Steenrod N. E., Sweer J. H., Weyl F. J.. Mimeographed. Princeton University Mathematics Department, Princeton, N. J., 1936, iii + 113 pp. [REVIEW]H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):39-40.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    Review: Alonzo Church, Mathematical Logic. [REVIEW]H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):39-40.
  18.  15
    H. B. Curry. A note on the associative law in logical algebras. Bulletin of the American Mathematical Society, vol. 42 (1936), pp. 523–524. [REVIEW]Paul Henle & H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):42-42.