TY - GEN AU - Hindley,J.Roger AU - Lercher,B AU - Seldin,J.P TI - Introduction to combinatory logic T2 - London Mathematical Society. Lecture note series SN - 0521096979 U1 - 511/.33 PY - 1972/// CY - Cambridge [Eng.] PB - University Press KW - Combinatory logic N1 - Contine bibliografie ER -