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