Combinatory logic, volume 1 (1958)

by H Curry, R Feys