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


Post E.L.
[1944]
Recursively enumerable sets of positive integers and their decision problems
Bull. Amer. Math. Soc., 50, № 5, 284-316
~
REOS
article

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