A combinatorial analysis of functions provably recursive in $ΙΣ_n$
Tom 130 / 1988
Fundamenta Mathematicae 130 (1988), 191-213
DOI: 10.4064/fm-130-3-191-213
