TY  - BOOK
AU  - Hindley, J. R.
AU  - Seldin, J. P.
TI  - INTRODUCTION TO COMBINATORY LOGIC
U1  - 511.3 
PY  - 1972///
CY  - London
PB  - Cambridge University Press
KW  - Logic, Symbolic And Mathematical
ER  -