Einführung in die mathematische Logik - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944-; Thomas, Wolfgang 1947- (Spektrum Akad. Verl., 1996)