TY  - JOUR
AU  - E. S. Burgina
TI  - A step sementic system for set theory
JO  - Matematičeskie zametki
PY  - 1984
SP  - 855
EP  - 868
VL  - 35
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_1984_35_6_a8/
LA  - ru
ID  - MZM_1984_35_6_a8
ER  -