Dekker J.C.E., Ellentuck E. ...


Dekker J.C.E., Ellentuck E.
[1974]
Recursion relative to regressive functions
Ann. Math. Logic, 6, № 3, 231-257
75.01.128
article

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