TY  - JOUR
AU  - V. Kh. Khakhanyan
TI  - Independence of the partial axiom of choice of intuitionistic set theory
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 1997
SP  - 832
EP  - 833
VL  - 52
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_1997_52_4_a9/
LA  - en
ID  - RM_1997_52_4_a9
ER  -