"Mathematical Logic" - читать интересную книгу автора (Joseph R. Shoenfield)