%0 Journal Article %A V. Kh. Khakhanyan %T The consistency of intuitionistic set theory with formal mathematical analysis %J Doklady Akademii Nauk %D 1980 %P 48-52 %V 253 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1980_253_1_a10/ %G ru %F DAN_1980_253_1_a10