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