TY  - BOOK
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.3 
PY  - 1972///
CY  - Cambridge .
PB  - University Press
KW  - Combinatory logic
N1  - Bibliography: p. 157-162
ER  -