@article{10_4064_fm_132_3_189_194, author = {Zofia Adamowicz and Teresa Bigorajska}, title = {Functions provably total in $I^{-}\ensuremath{\Sigma}_{n}$}, journal = {Fundamenta Mathematicae}, pages = {189--194}, publisher = {mathdoc}, volume = {132}, number = {3}, year = {1989}, doi = {10.4064/fm-132-3-189-194}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-132-3-189-194/} }