Combinatory Logic - Curry Haskell B; Feys Robert (Amsterdam North-Holland, 1958)
Keywords: Combinatory logic; Mathematical logic