Mathematical logic Ebbinghaus, Heinz-Dieter, - 2nd ed. - New York : Springer-Verlag, 1994 - x, 289 p. : ill. ; 25 cm. - Undergraduate texts in mathematics . ISBN: 0387942580 (New York : acid-free paper) | 3540942580 (Berlin : acid-free paper)