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