%0 Journal Article %A V. G. Puzarenko %T On the computability over models of decidable theories %J Algebra i logika %D 2000 %P 170-197 %V 39 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/AL_2000_39_2_a4/ %G ru %F AL_2000_39_2_a4