%0 Journal Article
%A J. Moldestad
%A V. Stoltenberg-Hansen
%T Finite alogorithmic procedures and inductive definability.
%J Mathematica Scandinavica
%D 1980
%P 62-76
%V 46
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1980__46_166690/
%F MS2_1980__46_166690