%0 Journal Article
%A A. G. Vladimirov
%T Effectivity Properties of Intuitionistic Set Theory with Collection Scheme
%J Matematičeskie zametki
%D 2011
%P 658-672
%V 89
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2011_89_5_a2/
%G ru
%F MZM_2011_89_5_a2