TY  - GEN
AU  - Curry, Haskell B.
AU  - Feys , Robert
AU  - Craig, William
AU  - 
TI  - Combinatory logic
U1  - 160 
PY  - 1968///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Foundations Of Mathematics
ER  -