Lerman M.,Soare R.I. ...


Lerman M., Soare R.I.
[1980]
A decidable fragment of the elementary theory of the lattice of recursively enumerable sets
Trans. Amer. Math. Soc., 257, № 1, 1-37
80.10.46
OS
article

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