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


Axt P.
[1966]
Iteration of relative primitive recursion
Z. math. Logik und Grundl. Math., 11, № 3, 253-255 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы), М., Мир, 1970, 118 -122.)
67.03.46
O
article

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