Studies in logic and foundation of mathematics combinatory logic vol I - Curry Haskell, B.; Others (1958)
English