A combinatorial analysis of functions provably recursive in $ΙΣ_n$

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

Z. Ratajczyk Fundamenta Mathematicae 130 (1988), 191-213 DOI: 10.4064/fm-130-3-191-213