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


Metakides G., Nerode A.
[1977]
Recursively enumerable vector spaces
Ann. Math. Logic, 11, № 2, 147-171
78.05.47
S
article

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