Oulie
Mathematical Logic, 2nd Edition by Heinz-Dieter Ebbinghaus, J. Flum, Wolfgang Thomas — Oulie