"Математическая логика и теория алгоритмов: Учебное пособие. - 2-е изд." - читать интересную книгу автора (Анкудинов Г.И., Анкудинов И.Г., Петухов О.А.)