Di Paola R.A. ...


Di Paola R.A.
[1981]
A lift of a theorem of Friedberg : a Banach-Mazur functional that coincides with no α-recursive functional on the classe of α-recursive functions
J. Symbolic Logic, 46, № 2, 216-232
81.12.49
article

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