Carpentier A. ...


Carpentier A.
[1977]
For a countable admissible ordinal α, the α-recursive functions are exactly the α-definite functions
Repts. Math. Logic, № 9, 3-13
79.05.62
article

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