Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. Einführung in die mathematische Logik. English Ebbinghaus, Heinz-Dieter, 1939- Flum, Jörg. Thomas, Wolfgang, 1947- Logic, Symbolic and mathematical. QA9 .E2213 1994 511.3 20 EBM Includes bibliographical references (p. [277]-279) and indexes. New York : Springer-Verlag, c1994. c1994. 1994 Text x, 289 p. : eng eng ger Undergraduate texts in mathematics Undergraduate texts in mathematics.