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