%0 Journal Article %A R. È. Yavorskii %T Predicate logics for decidable fragments of arithmetic %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 1998 %P 12-16 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMUMM_1998_2_a2/ %G ru %F VMUMM_1998_2_a2