RitchieRW ...


Ritchie R.W.
[1963]
Classes of predicatable computable functions
Trans. Amer. Math. Soc., 106, № 1, 139-173 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 50-93.)
63.08.65
R
article

Вернуться к поиску