TY - BOOK AU - Curry, Haskell B., Hindley, J.Roger, AU - Seldin, Jonathan P. TI - COMBINATORY LOGIC SN - 0 7204 2208 6 U1 - 160 PY - 1972/// CY - PB - North-Holland ER -