Einführung in die mathematische Logik by Heinz-Dieter Ebbinghaus, Jorg Flum & Wolfgang Thomas