Feferman S. ...


Feferman S.
[1962]
Classification of recursive functions by mean of hierarchies
Trans. Amer. Math. Soc., 104, № 1, 101-122 (Русский перевод в сб. Математика, 1971, 15, № 6, 137-158.)
64.05.67 72.03.54
RO
article

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