Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas. - Ebbinghaus, Heinz-Dieter, 1939- (Undergraduate texts in mathematics, 1994)