TY  - BOOK
AU  - Ebbinghaus,Heinz-Dieter
AU  - Flum, Jorg,
AU  - Thomas, Wolfgang
AU  - Ebbinghaus,Heinz-Dieter,1939- .
TI  - Mathematical logic
SN  - 0-387-94258-0
AV  - QA9 E22 1994
PY  - 1994///
CY  - New York
PB  - Springer Verlag
KW  - Lógica simbólica y matemática
ER  -