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


Cholak P., Harrington L. A.
[2000]
Definable encodings in the computably enumerable sets
Bull. Symbolic Logic, 6, № 2, 185-196
05.08.93
S
article

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