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


Ambos-Spies K. Ding Decheng, Fejer P.A.
[1993]
Embedding distribute lattice preserving 1 below a nonzero recursively enumerable Turing degree
Progr. Comp. Sci. Appl. Logic, 12, 92-129
?
article

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