%0 Journal Article
%A F. L. Varpakhovskii
%T On the axiomatization of realizable propositional formulas
%J Doklady Akademii Nauk
%D 1990
%P 32-36
%V 314
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1990_314_1_a6/
%G ru
%F DAN_1990_314_1_a6