%0 Journal Article %A K. V. Kozerenko %T Formal language %J Matematičeskoe obrazovanie %D 2015 %P 14-18 %N 3 %U http://geodesic.mathdoc.fr/item/MO_2015_3_a1/ %G ru %F MO_2015_3_a1