TY - BOOK AU - Hindley, J. R. AU - Lercher, B. TI - Introduction to Combinatory Logic SN - 0521096979 U1 - 511.6 PY - 1972/// CY - London PB - Cambridge at the University Press ER -