Теория рекурсивных функций и эффективная вычислимость Успенский Владимир Андреевич, Роджерс Х. Подробнее Теория рекурсивных функций и эффективная вычислимость Успенский Владимир Андреевич+1Роджерс Х. RU
