Mathematical Logic - Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang (Springer International Publishing, 2021)