Mathematical Logic: Exercises and Solutions (en Inglés)

Csirmaz, Laszlo ; Gyenis, Zalán · Springer