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


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

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