@article{VMUMM_1998_2_a2, author = {R. \`E. Yavorskii}, title = {Predicate logics for decidable fragments of arithmetic}, journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika}, pages = {12--16}, year = {1998}, number = {2}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/VMUMM_1998_2_a2/} }