TY - BOOK AU - Hindley J R AU - Lercher B AU - Seldin J P TI - Introduction to combinatory logic U1 - B2170bR1, L2 PY - 1972/// CY - Cambridge PB - Cambridge University Press KW - Combinatorial coding theory N1 - Appendix 1-2, 139-156p ER -