Mathematical Logic door Heinz-Dieter Ebbinghaus, H.D. Ebbinghaus & J. Flum