Wainer S.S. ...


Wainer S.S.
[1985]
The “slow-growing” Π21 approach to hierarchies
Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 487-502
86.03.35
O
article

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