Editing Haskell Curry (section)

== Major publications ==
* {{cite journal |display-authors=0 |last=Curry |first=Haskell Brooks |author-link=Haskell Curry |date=1930 |title=Grundlagen der Kombinatorischen Logik |trans-title=Foundations of combinatorial logic |journal=American Journal of Mathematics |publisher=The Johns Hopkins University Press |language=de |doi=10.2307/2370619 |volume=52 |number=3 |pages=509–536 |jstor=2370619}}
* {{cite book |display-authors=0 |last=Curry |first=Haskell B. |author-link=Haskell Curry |date=1950 |title=A theory of formal deducibility |url=https://archive.org/details/theoryofformalde0000curr |url-access=registration |publisher=University of Notre Dame Press}}{{sfn|Nelson|1952}}
** {{cite book |display-authors=0 |last=Curry |first=Haskell B. |author-link=Haskell Curry |date=1957 |title=A theory of formal deducibility |edition=2nd |publisher=University of Notre Dame Press}}
* {{cite book |display-authors=0 |last=Curry |first=Haskell B. |author-link=Haskell Curry |date=1951 |title=Outlines of a formalist philosophy of mathematics |publisher=Elsevier Science |location=Amsterdam |isbn=0444533680 |url=https://books.google.com/books?id=tZHrBQgp1bkC |access-date=23 July 2012}}
* {{cite book |display-authors=0 |last=Curry |first=Haskell B. |date=1952 |title=Leçons de logique algébrique |publisher=Gauthier-Villars |location=Paris |language=fr}}{{sfn|Marcus|1952}}
*{{cite book| last1=Curry|first1=Haskell Brooks|author-link1=Haskell Curry|last2=Feys|first2=Robert|author-link2=Robert Feys|title=Combinatory Logic|volume=I|year=1958|publisher=[[Elsevier|North Holland Publishing Company]]|location=Amsterdam|isbn=0-7204-2208-6}}
* {{cite book |display-authors=0 |last=Curry |first=Haskell |date=1963 |title=Foundations of Mathematical Logic |publisher=Mcgraw Hill}}
** {{cite book |display-authors=0 |last=Curry |first=Haskell B. |date=1977 |title=Foundations of mathematical logic |edition=Unabridged and corrected Dover |publisher=Dover Publications |location=New York |isbn=0-486-63462-0 |url=http://store.doverpublications.com/0486634620.html |access-date=23 July 2012}}
* {{cite book| last1=Curry|first1=Haskell Brooks|author-link1=Haskell Curry|last2=Hindley|first2=J. Roger|author-link2=J. Roger Hindley|last3=Seldin|first3=Jonathan P.|title=Combinatory Logic|volume=II|year=1972| publisher=North Holland |location=Amsterdam | isbn=0-7204-2208-6}}