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


Lempp S., Lerman M.
[1996]
The decidability of the existential theory of the poset of recursively enumerable degrees with jump relations
Adv. in Math., 120, № 1, 1-142
02.09.53
article

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