"Математическая логика и теория алгоритмов: Учебное пособие" - читать интересную книгу автора (Стенюшкина В.А.)