TY  - JOUR
AU  - Sochor, A.
TI  - Complexity of the axioms of the alternative set theory
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1993
SP  - 33
EP  - 45
VL  - 34
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_1993__34_1_a3/
LA  - en
ID  - CMUC_1993__34_1_a3
ER  -