TY  - BOOK
AU  - Curry, Haskell B
AU  - Feys, Robert
AU  - Craig, William
TI  - Combinatory Logic
U1  - 510L 
PY  - 1958///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Logic
ER  -