%0 Journal Article %A N. N. Vorob'ev %T A~constructive calculus of statements with strong negation %J Informatics and Automation %D 1964 %P 195-227 %V 72 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1964_72_a5/ %G ru %F TRSPY_1964_72_a5