Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. Cham, Switzerland : Springer, [2021]