Chong C.T., Yang Yue ...


Chong C.T., Yang Yue
[1997]
Σ2induction and infinite injury priority argument, II: Tame Σ2 coding and the junp operator
Ann. Pure Appl. Logic, 87, № 2 , 103-116
?
O
article

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