Mathematical logic - Ebbinghaus, Heinz-Dieter 1939- (Undergraduate texts in mathematics, 1984)