TY  - JOUR
AU  - A. Vladimirov
TI  - Certain Partial Conservativeness Properties of Intuitionistic Set Theory with the Principle of Double Complement of Sets
JO  - Matematičeskie zametki
PY  - 2018
SP  - 372
EP  - 391
VL  - 103
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2018_103_3_a4/
LA  - ru
ID  - MZM_2018_103_3_a4
ER  -