Combinatory Logic, volume (1972)

by H B Curry, J R Hindley, J P Seldin
Venue:II of Studies in Logic and the Foundations of Mathematics