Combinatory logic - Curry Haskell B; Feys Robert (1958)
Keywords: PHILOSOPHY