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