Haskell Curry - Major Publications

Major Publications

  • Curry, Haskell Brooks (1930). "Grundlagen der Kombinatorischen Logik " (in German). American Journal of Mathematics (The Johns Hopkins University Press) 52 (3): 509-536. http://www.jstor.org/stable/2370619. Retrieved 23 July 2012.
  • Curry, Haskell B. (1950, 2nd edn. 1957). A theory of formal deducibility. University of Notre Dame Press.
  • Curry, Haskell B. (1951). Outlines of a formalist philosophy of mathematics. Amsterdam: Elsevier Science. ISBN 0444533680. http://books.google.com/books?id=tZHrBQgp1bkC&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false. Retrieved 23 July 2012.
  • Curry, Haskell B. (1952) (in French). Leçons de logique algébrique. Paris: Gauthier-Villars.
  • Curry, Haskell; Feys, Robert (1958). Combinatory Logic Volume I. Amsterdam: North-Holland Publishing Company.
  • Curry, Haskell (1963). Foundations of Mathematical Logic. Mcgraw Hill.
    • Curry, Haskell B. (1977). Foundations of mathematical logic (Unabridged and corrected of the first publication by the McGraw-Hill book company, in 1963. ed.). New York: Dover Publications. ISBN 0-486-63462-0. http://store.doverpublications.com/0486634620.html. Retrieved 23 July 2012.
  • Curry, Haskell B. (1972). Combinatory Logic Volume II. Amsterdam: North-Holland Publishing Company. ISBN 0720422086.

Read more about this topic:  Haskell Curry

Famous quotes containing the words major and/or publications:

    “True spoiling is nothing to do with what a child owns or with amount of attention he gets. he can have the major part of your income, living space and attention and not be spoiled, or he can have very little and be spoiled. It is not what he gets that is at issue. It is how and why he gets it. Spoiling is to do with the family balance of power.”
    —Penelope Leach (20th century)

    “Dr. Calder [a Unitarian minister] said of Dr. [Samuel] Johnson on the publications of Boswell and Mrs. Piozzi, that he was like Actaeon, torn to pieces by his own pack.”
    —Horace Walpole (1717–1797)