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


Lachlan A.H.
[1968]
On the lattice of recursively enumerable sets
Trans. Amer. Math. Soc., 130, № 1, 1-37 (Русский перевод в книге Дж. Шенфильда Степени неразрешимости , М., Наука, 1977, 109-162.)
68.11.47
EOS
article

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