%0 Journal Article %A J. Barrack %T Recursive Functions and Regressive Isols. %J Mathematica Scandinavica %D 1964 %P 29-42 %V 15 %I mathdoc %U http://geodesic.mathdoc.fr/item/MS2_1964__15_165886/ %F MS2_1964__15_165886