"Mathematical Logic" - читать интересную книгу автора (Steen S.W.P)