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:

    There are three major offenses against filial piety of which not producing an heir is the worst.
    —Chinese proverb.

    Mencius.

    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)