%0 Journal Article
%A Verena Huber Dyson
%T On the decision problem for extensions of a decidable theory
%J Fundamenta Mathematicae
%D 1969
%P 7-40
%V 64
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-64-1-7-40/
%R 10.4064/fm-64-1-7-40
%G en
%F 10_4064_fm_64_1_7_40