Математическая логика и теория алгоритмов — Игошин В.И.