TY  - BOOK
AU  - Ebbinghaus,Heinz-Dieter
AU  - Flum,Jörg
AU  - Thomas,Wolfgang
TI  - Mathematical logic
SN  - 9780387942582 (pbk. : alk. paper) 
AV  - QA9 .E2213 1996
U1  - 511.3 23 rd
PY  - 1994///
CY  - New York
PB  - Springer-verlag , 
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
N1  - "Corrected second printing"--T.p. verso; Includes bibliographical references and indexes
UR  - http://www.loc.gov/catdir/enhancements/fy0814/97108485-d.html
UR  - http://www.loc.gov/catdir/enhancements/fy0814/97108485-t.html
ER  -