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