AshCJ ...


Ash C. J.
[1986]
Recursive labeling systems and stability of recursive structures in hyperarithmetical degrees
Trans. Amer. Math. Soc., 298, № 2, 497-514; corr. 310, № 2, 851
87.08.31
SG
article

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