TY - BOOK AU - Curry,Haskell B. AU - Feys,Robert TI - Lógica combinatoria T2 - Estructura y Función; 24 U1 - 160/C937l PY - 1967/// CY - Madrid, España PB - Tecnos. KW - LOGICA N1 - Bibliografía: p. 467-477 ER -