Mathematical Logic : Exercises and Solutions - Csirmaz, Laszlo; Gyenis, Zalán (Cham Springer International Publishing AG, 2022)