Haskell B. Curry
Also known as
Curry, Haskell BHaskell Brooks CurryHaskell B Curry
Born 1900-01-01
Died 1982-01-01
Identifiers
- VIAF34535556
- WikidataQ92611
- ISNI0000000110246379
- Open LibraryOL142872A
Top Subjects
- Logic, Symbolic and mathematical. (3)
- Logic, Symbolic and mathematical (3)
- Mathematics (2)
- Philosophy (2)
- Mathematics -- Philosophy (2)
- Algebra, Abstract. (1)
- Algebra, Abstract (1)
Books by Haskell B. Curry
Total count: 14
A theory of formal deducibility.Volk und Buch Verlag1950-01-01
Outlines of a formalist philosophy of mathematicsElsevier Science1951-01-01-
Outlines of a formalist philosophy of mathematics.North-Holland Pub. Co.1951-01-01
-
Leçons de logique algébrique.Gauthier-Villars1952-01-01
-
Leçons de logique algébrique.Gauthier-Villars1952-01-01
Theory of Formal DeducibilityUniv of Notre Dame Pr1957-06-01
Outlines of a formalist philosophy of mathematicsNorth-Holland Pub. Co.1958-01-01-
Combinatory logicNorth-Holland Publishing Co1958-01-01
-
Outlines of a formalist philosophy of mathematicsNorth-Holland Publishers1958-01-01
Combinatory logicNorth-Holland Pub. Co.1958-01-01-
Combinatory logic[by] Haskell B. Curry [and] Robert Feys. With two sections by William Craig.North-Holland Pub. Co.1958-01-01
Foundations of mathematical logic.McGraw-Hill1963-01-01-
A theory of formal deducibility.[2d ed.]. --Notre Dame University Press1966-01-01
-
Combinatory logic [by] Haskell B. Curry [and] Robert Feys.With two sections by William Craig.North-Holland Pub. Co.1968-01-01