%0 Journal Article %A E. E. Zolin %T Sequential logic of arithmetic decidability %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 2001 %P 43-48 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMUMM_2001_6_a7/ %G ru %F VMUMM_2001_6_a7