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


Гончаров С.С.
[1993]
Вычислимые классы конструктивизаций моделей конечного типа коструктивности
Сибирск. матем. журнал, 34, № 5, 23-37
94.04.54
G
статья

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