Grzegorczyk A. ...


Grzegorczyk A.
[1953]
Some classes of recursive functions
Rozprawy.Mathematycne, 4, Warszawa, 1-45 (Русский перевод в Cб. пер. Козмидиади В.А., Мучник А.А. (ред.) «Проблемы в матем. логике; Сложность алгоритмов и классы вычислимых функций», М., Мир, 1970, 9-49.)
59.01.76
ORS
book

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