%0 Journal Article
%A M. D. Krol'
%T Disjunctive and existential properties of intuitionistic analysis with Kripke's scheme
%J Doklady Akademii Nauk
%D 1977
%P 750-753
%V 234
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1977_234_4_a4/
%G ru
%F DAN_1977_234_4_a4