Combinatory logic V.2 - Curry, Haskell B. (studies in logic and the foudations of mathematics, 1958)