TY - JOUR AU - Dung, Nguyen Xuang TI - On decidability of skeletal sets [Abstract of thesis] JO - Commentationes Mathematicae Universitatis Carolinae PY - 1990 SP - 191 VL - 31 IS - 1 UR - http://geodesic.mathdoc.fr/item/CMUC_1990_31_1_a25/ LA - en ID - CMUC_1990_31_1_a25 ER -