"Задачи по теории множеств, математической логике и теории алгоритмов" - читать интересную книгу автора (Лавров И.А., Максимова Л.Л.)