%0 Journal Article
%A R. L. GOODSTEIN
%T On non-constructive theorems of analysis and the decision problem
%J Mathematica Scandinavica
%D 1955
%P 261-263
%V 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1955__3_165594/
%F MS2_1955__3_165594