%0 Journal Article
%A Z. Ratajczyk
%T Functions provably total in $I^{-}Σ_{n}$
%J Fundamenta Mathematicae
%D 1989
%P 81-95
%V 133
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-133-1-81-95/
%R 10.4064/fm-133-1-81-95
%G en
%F 10_4064_fm_133_1_81_95