1 - Combinatory logic. Volume 1Curry, Haskell Brooks (1900-1982) / Feys, Robert (1889-1961) / Craig, William (1918-....)Cote : [05 CUR 58-1]
2 - Logic in algebraic form : three languages and theoriesCraig, William (1918-....)Cote : [05 CRA 74]
