Mathematical logic - Ebbinghaus, Heinz-Dieter 1939-; Flum, Jörg 1944-; Thomas, Wolfgang 1947- (Springer, 1984)
EST: Einführung in die mathematische Logik (engl.)