Einführung in die mathematische Logik - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944-; Thomas, Wolfgang 1947- (Die Mathematik, 1978)