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