&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. / Роджерс Х. Пер. с англ. Душского В.А. и др. Под ред. Успенского В. А. &mdash; Москва : Мир, 1972.<br><br><br>Роджерс, Х.<br><br>УДК: 517.11 <br><br>[ SYS NUM: 3449 ]