%0 Journal Article
%A A. G. Myasnikov
%A V. N. Remeslennikov
%T Recursive $p$-adic numbers and elementary theories of finitely generated pro-$p$-groups
%J Izvestiya. Mathematics 
%D 1988
%P 577-597
%V 30
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1988_30_3_a6/
%G en
%F IM2_1988_30_3_a6