Cоловьев В.Д. ...


Соловьев В.Д.
[1993]
Программно-замкнутые классы общерекурсивных функций и предикатов конечного ранга
Изв. Вузов. Мат., № 9, 45-60
94.11.29
статья

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