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:
“What was lost in the European cataclysm was not only the Jewish pastthe whole life of a civilizationbut also a major share of the Jewish future.... [ellipsis in source] It was not only the intellect of a people in its prime that was excised, but the treasure of a people in its potential.”
—Cynthia Ozick (b. 1928)
“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 (17171797)
Related Phrases
Related Words