Einführung in die mathematische Logik - Ebbinghaus, Heinz-Dieter (Die Mathematik., 1978)