| title | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|
| Combinatory logic | 978-0-7204-2208-5 | 1958 | |
| Combinatory Logic: v. 1 | 978-0-7204-2207-8 | 1958 | etc. |
| Foundations of Mathematical Logic | 978-0-486-63462-3 | 2010 | |
| Outlines of a formalist philosophy of mathematics | 978-0-7204-2206-1 | 1970 | |
B. C · B. Curry · H. B · H. C. · Haskell Brooks Curry