Soare R.I.,Stob M. ...


Soare R.I., Stob M.
[1982]
Relative recursive enumerability
Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 229-324, North-Holland
?
S
article

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