"Mathematical Logic (Oxford Texts in Logic)" - читать интересную книгу автора (Ian Chiswell, Wilfrid Hodges)