TY  - BOOK
AU  - Curry Haskell B
AU  -  Hindley J. Roger
TI  - Combinatory logic
T2  - Studies in logic and the foundations of mathematics ed by Heyting
U1  - R14, L2.2 
PY  - 1972///
CY  - Amsterdam
PB  - North Holland The Netherlands    
ER  -