1 - Combinatory logic. Volume 1Curry, Haskell Brooks (1900-1982) / Feys, Robert (1889-1961) / Craig, William (1918-....)Cote : [05 CUR 58-1]
2 - Dictionary of symbols of mathematical logicFeys, Robert (1889-1961) (Ed.) / Fitch, Frederic Brenton (Ed.)Cote : [05 FEY 69]
3 - Modal logicsFeys, Robert (1889-1961) / Dopp, Joseph (1901-1978) (Ed.)Cote : [05 FEY 65]