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


Чернов В.П.
[1972]
О конструктивных операторах конечных типов
Сб. Исследования по конструктивной математике и математической логике, Зап. ЛОМИ АН СССР, V, Л., 140-147
73.05.44
E
статья

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