TY - BOOK AU - Curry Haskell B TI - Combinatory logic T2 - Studies in logic and the foundations of mathematics U1 - R14, L2 PY - 1972/// CY - London PB - North Holland Publishing ER -