Combinatory Logic, Volume I (1958)

by H B Curry, R Feys
Venue:Studies in Logic and the Foundations of Mathematics. North-Holland