"Математическая логика и теория алгоритмов. 2 курс" - читать интересную книгу автора (Самохин А.В.)