TY  - BOOK
AU  - Curry,Haskell B.
AU  - Feys,Robert
TI  - Logica combinatoria
U1  - 511.3 20
PY  - 1967///
CY  - Madrid
PB  - Tecnos
KW  - Logica
KW  - Logica matematica
ER  -