%0 Journal Article %A V. N. Krivtsov %T A type of formal negationless systems %J Vestnik Moskovskogo universiteta. Matematika, mehanika %D 1984 %P 27-31 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMUMM_1984_2_a6/ %G ru %F VMUMM_1984_2_a6