%0 Journal Article %A I. P. Kostenko %T Logic and Life %J Matematičeskoe obrazovanie %D 2001 %P 49-59 %V 18 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/MO_2001_18_3_a4/ %G ru %F MO_2001_18_3_a4