"Введение в математическую логику" - читать интересную книгу автора (Мендельсон Э.)