A combinatorial analysis of functions provably recursive in $ΙΣ_n$
Fundamenta Mathematicae, Tome 130 (1988) no. 3, pp. 191-213
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_130_3_191_213,
author = {Z. Ratajczyk},
title = {A combinatorial analysis of functions provably recursive in $I\ensuremath{\Sigma}_n$},
journal = {Fundamenta Mathematicae},
pages = {191--213},
publisher = {mathdoc},
volume = {130},
number = {3},
year = {1988},
doi = {10.4064/fm-130-3-191-213},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-130-3-191-213/}
}
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 -
%0 Journal Article %A Z. Ratajczyk %T A combinatorial analysis of functions provably recursive in $ΙΣ_n$ %J Fundamenta Mathematicae %D 1988 %P 191-213 %V 130 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-130-3-191-213/ %R 10.4064/fm-130-3-191-213 %G en %F 10_4064_fm_130_3_191_213
Z. Ratajczyk. A combinatorial analysis of functions provably recursive in $ΙΣ_n$. Fundamenta Mathematicae, Tome 130 (1988) no. 3, pp. 191-213. doi: 10.4064/fm-130-3-191-213
Cité par Sources :