%0 Journal Article %A V. V. Suvorov %T Geometric interpretation of propositional formulas %J Numerical methods and programming %D 2003 %P 28-33 %V 4 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/item/VMP_2003_4_3_a3/ %G ru %F VMP_2003_4_3_a3