Бадаев С.А. ...


Бадаев С.А.
[1977]
О вычислимых нумерациях семейств общерекурсивных функций
Алгебра и логика, 16, № 2, 129-148
78.03.71
статья

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