%0 Journal Article
%A Tetruashvili, M.
%T Complexity of the decidability of the unquantified set theory with a rank operator.
%J Georgian Mathematical Journal
%D 1994
%P 561-565
%V 1
%N 5
%I mathdoc
%U http://geodesic.mathdoc.fr/item/GMJ_1994__1_5_47154/
%G en
%F GMJ_1994__1_5_47154