Mathematical logic - Ebbinghaus, Heinz-Dieter 1939- (Undergraduate Texts in Mathematics, 1994)