Combinatory Logic, Vol I (1958)

by H B Curry