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


Knight J. F., Miller S., Vanden Boom M.
[2007]
Turing computable embeddings
J. Symbolic Logic, 72, № 4, 901- 918
?
article

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