%0 Journal Article %A R. È. Yavorskii %T Decidable first order logics %J Fundamentalʹnaâ i prikladnaâ matematika %D 1998 %P 733-749 %V 4 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/FPM_1998_4_2_a18/ %G ru %F FPM_1998_4_2_a18