Библиография Лаврова И.А.


Cleave J.P.
[1963]
A hierarchy of primitive recursive function
Z. math. Logik und Grundl. Math., 9 , № 4, 331-345 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. , (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970)
64.12.60
O
article

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