Mathematical Logic - Laszlo Csirmaz, Zalán Gyenis (Springer, 2022)