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


Simpson S.G.
[1977]
First-order theory of the degrees of recursive unsolvability
Ann. Math., 105, № 1, 121-139
77.09.53
OS
article

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