TY  - BOOK
AU  - Curry, Haskett
TI  - Lógica combinatoria
U1  - 160/C95 
PY  - 1967///
CY  - España
PB  - Tecnos
KW  - FILOSOFÍA
ER  -