Combinatory logic, volume Volume I (1958)

by Haskell B Curry, Robert Feys