KentCF ...


Kent C.F.
[1969]
Reducing ordinal recursion
Proc. Amer. Math. Soc., 22, № 3, 690-696
70.05.69
O
article

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