Csirmaz, Laszlo Mathematical logic : exercises and solutions Cham, Switzerland : Springer, 2022. viii, 319 p. -- (Problem books in mathematics) QA9 C723