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


Nerode A., Remmel J.B.
[1985]
A survey of lattices of r. e. substructures
Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 323-377
86.02.51
O
article

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