TY - JOUR AU - Z. Ratajczyk TI - A combinatorial analysis of functions provably recursive in $ΙΣ_n$ JO - Fundamenta Mathematicae PY - 1988 SP - 191 EP - 213 VL - 130 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-130-3-191-213/ DO - 10.4064/fm-130-3-191-213 LA - en ID - 10_4064_fm_130_3_191_213 ER -