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