%0 Journal Article
%A E.R. Griffor
%T Definability and forcing in E-recursion.
%J Mathematica Scandinavica
%D 1985
%P 5-28
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1985__57_166940/
%F MS2_1985__57_166940