TY - BOOK AU - Curry Haskell B AU - Feys Robert TI - Combinatory logic.1V T2 - Studies inlogic and the foundations of mathematics U1 - R142, J8.1 PY - 1958/// CY - Amsterdam PB - North Holland Publishing ER -