"Mathematical Logic: Undergraduate Texts in Mathematics" - читать интересную книгу автора (H.D. Ebbinghaus, J. Flum, W. Thomas)