"Математическая логика и основы теории алгоритмов: Программа курса" - читать интересную книгу автора (Радаев В.Н.)