Эффективные R-множества и трансфинитные продолжения рекурсивных иерархий
Tom 68 / 1970
Fundamenta Mathematicae 68 (1970), 61-86
DOI: 10.4064/fm-68-1-61-86