%0 Journal Article %A V. Kh. Khakhanyan %T Independence of the partial axiom of choice of intuitionistic set theory %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1997 %P 832-833 %V 52 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/RM_1997_52_4_a9/ %G en %F RM_1997_52_4_a9