RitchieRW ...

Новости

26 Сентября, 2024 Отбор в Совет обучающихся образовательных организаций высшего образования и научных организаций

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

19 Сентября, 2024 Открыт приём заявок на премию «За верность науке»

Ritchie R.W.

[1963]

Classes of predicatable computable functions

Trans. Amer. Math. Soc., 106, № 1, 139-173 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 50-93.)

63.08.65

article

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