Recursiveness of initial segments of Kleene's O

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

Carl Jockusch Fundamenta Mathematicae 87 (1975), 161-167 DOI: 10.4064/fm-87-2-161-167