Combinatory logic - Curry, Haskell H.; Feys, Robert.; Craig, William. (Elsevier,)