1 - A theory of formal deducibility
Curry, Haskell Brooks (1900-1982)

Cote : [05 CUR 50]

2 - Combinatory logic. Volume 1
Curry, Haskell Brooks (1900-1982)   /   Feys, Robert (1889-1961)   /   Craig, William (1918-....)

Cote : [05 CUR 58-1]

3 - Combinatory logic. Volume 2
Curry, Haskell Brooks (1900-1982)   /   Seldin, Jonathan Paul   /   Hindley, James Roger (1939-....)

Cote : [05 CUR 72-2]

4 - Outlines of a formalist philosophy of mathematics
Curry, Haskell Brooks (1900-1982)

Cote : [05 CUR 51]