TY  - GEN
T1  - Lógica combinatoria
T2  - Estructura y Función
A1  - Curry Haskell B.
LA  - Español
PP  - Madrid
PB  - Tecnos
YR  - 1967
UL  - https://umaza.bibliosistemas.com/catalogo/Record/UMA-3322
OP  - 508
NO  - el ejemplar que posee la biblioteca  es fotocopiado
CN  - 160.12
KW  - Lógica matemática
KW  - Teorías de la lógica
KW  - Relaciones de equivalencia
KW  - Lógica
ER  -