Лавров И.А. ...


Лавров И.А.
[1979]
Вычислимость частично рекурсивных функций и рекурсивно перечислимые множества в арифметике Пеано
Сибирск. матем. журнал, 20, № 6, 1269-1274
80.04.40
статья

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