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