"Математическая логика и основы теории алгоритмов" - читать интересную книгу автора (Коротков М.А.;Котов В.М.;Степанов Е.О.)