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


Rice H.G.
[1953]
Classes of recursively enumerable sets and their decision problems
Trans. Amer. Math. Soc., 74 , № 2, 358-366
53.548
REOS
article

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