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


Dekker J.C.E.
[1971]
Countable vector space with recursive operations. Part II
J. Symbolic Logic, 36, № 3, 477-493
72.06.79
article

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