Haskell B. Curry
Curry, Haskell B.
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
Overview
Catalog identity and bibliographic footprint for this author.
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Personal name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryFO
Foundations of mathematical logic
cover - Image source: Open LibraryOO
Outlines of a formalist philosophy of mathematics
cover - Image source: Open LibraryCL
Combinatory logic
cover - Image source: Open LibraryOO
Outlines of a formalist philosophy of mathematics
cover - Image source: Open LibraryTO
Theory of Formal Deducibility
cover - Image source: Open LibraryOO
Outlines of a formalist philosophy of mathematics
cover - Image source: Open LibraryAT
A theory of formal deducibility
cover - THTo H.B. CurryHaskell B. Curry
To H.B. Curry
no cover - CLCombinatory logic [by] Haskell...Haskell B. Curry
Combinatory logic [by] Haskell B. Curry [and] Robert Feys
no cover - LDLeçons de logique algébrique.Haskell B. Curry
Leçons de logique algébrique
no cover - LDLeçons de logique algébrique.Haskell B. Curry
Leçons de logique algébrique
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.
- Open Work
Foundations of mathematical logic
- Open Work
Outlines of a formalist philosophy of mathematics
- Open Work
Combinatory logic
- Open Work
Outlines of a formalist philosophy of mathematics
- Open Work
Theory of Formal Deducibility
- Open Work
Outlines of a formalist philosophy of mathematics
- Open Work
A theory of formal deducibility
- Open Work
To H.B. Curry
- Open Work
Combinatory logic [by] Haskell B. Curry [and] Robert Feys
- Open Work
Leçons de logique algébrique
- Open Work
Leçons de logique algébrique