TY  - JOUR
AU  - V. K. Zakharov
AU  - A. D. Yashin
TI  - Finite Axiomatizability of Local Set Theory
JO  - Matematičeskie zametki
PY  - 2011
SP  - 70
EP  - 86
VL  - 90
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2011_90_1_a7/
LA  - ru
ID  - MZM_2011_90_1_a7
ER  -