TY - GEN AU - Curry, H.B. [et al.] TI - Combinatory logic CY - Amsterdam PB - North Holland N1 - 1972-1974 (417 p.; 520 p.) 028997-v.1, 028962-v.2 ER -