%0 Journal Article
%A F. A. Kabakov
%T The intuitionistic deducibility of certain realizable formulae of propositional logic
%J Doklady Akademii Nauk
%D 1970
%P 269-271
%V 192
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1970_192_2_a4/
%G ru
%F DAN_1970_192_2_a4