%0 Journal Article %A V. A. Lifshits %T Constructive mathematical theories consistent with classical logic %J Informatics and Automation %D 1967 %P 113-122 %V 93 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1967_93_a6/ %G ru %F TRSPY_1967_93_a6