"Математическая логика и теория алгоритмов" - читать интересную книгу автора (Ответственный редактор Сергей Львович...)