TY  - JOUR
AU  - A. M. Yakubovich
TI  - Variants of the axiom of choice in the simple theory of types
JO  - Matematičeskie zametki
PY  - 1981
SP  - 269
EP  - 276
VL  - 30
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1981_30_2_a13/
LA  - ru
ID  - MZM_1981_30_2_a13
ER  -