TY - BOOK AU - Curry,Haskell B AU - Craig,William AU - Feys,Robert TI - Combinatory logic PY - 1968/// CY - Amsterdam PB - North Holland Publishing Co. KW - Manual KW - Lógica matemática N1 - La biblioteca posee: v.1.- ER -