Recursiveness of initial segments of Kleene's O
Tom 87 / 1975
Fundamenta Mathematicae 87 (1975), 161-167
DOI: 10.4064/fm-87-2-161-167
