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