Soare R.I. ...


Soare R.I.
[1985]
Tree arguments in recursion theory and the 0///-priority method
Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 53-106
86.03.55
OS
article

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