%0 Journal Article %A A. M. Yakubovich %T Variants of the axiom of choice in the simple theory of types %J Matematičeskie zametki %D 1981 %P 269-276 %V 30 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZM_1981_30_2_a13/ %G ru %F MZM_1981_30_2_a13