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


Haught C. A., Shore R. A.
[1990]
Undecidability and initial segments of the (r.e.) tt-degrees
J. Symbolic Logic, 55, № 3, 987-1006
91.04.70
O
article

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