TY  - JOUR
AU  - A. M. Levin
TI  - One conservative extension of formal mathematic analysis with a~scheme of dependent choice
JO  - Matematičeskie zametki
PY  - 1977
SP  - 61
EP  - 68
VL  - 22
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1977_22_1_a6/
LA  - ru
ID  - MZM_1977_22_1_a6
ER  -