%0 Journal Article %A A. A. Shakirov %T On logical description of geometric figures %J Fundamentalʹnaâ i prikladnaâ matematika %D 1999 %P 1191-1197 %V 5 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/FPM_1999_5_4_a13/ %G ru %F FPM_1999_5_4_a13