"Mathematical Logic (Graduate Texts in Mathematics)" - читать интересную книгу автора (J.D. Monk)