TY  - JOUR
AU  - Tetruashvili, M.
TI  - Complexity of the decidability of the unquantified set theory with a rank operator.
JO  - Georgian Mathematical Journal
PY  - 1994
SP  - 561
EP  - 565
VL  - 1
IS  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/GMJ_1994__1_5_47154/
LA  - en
ID  - GMJ_1994__1_5_47154
ER  -