Combinatory Logic: Vol I (1958)

by H B Curry, R Feys