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