Boyd R., Hensel G., Putnam H. ...


Boyd R., Hensel G., Putnam H.
[1969]
A recursion-theoretic characterization of the ramified analytic hierarchy
Trans. Amer. Math. Soc., 141, № 7 , 37-62
70.09.57
S
article

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