Complexity of the decidability of the unquantified set theory with a rank operator.

@article{Tetruashvili1994,
author = {Tetruashvili, M.},
journal = {Georgian Mathematical Journal},
keywords = {unquantified set theory; decidability},
language = {eng},
number = {5},
pages = {561-565},
publisher = {Walter de Gruyter},
title = {Complexity of the decidability of the unquantified set theory with a rank operator.},
url = {http://eudml.org/doc/47154},
volume = {1},
year = {1994},
}

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
PB - Walter de Gruyter
VL - 1
IS - 5
SP - 561
EP - 565
LA - eng
KW - unquantified set theory; decidability
UR - http://eudml.org/doc/47154
ER -