TY - JOUR AU - B. M. Khusainov TI - Strongly $\forall$-finite theories of unars JO - Matematičeskie zametki PY - 1987 SP - 265 EP - 271 VL - 41 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1987_41_2_a15/ LA - ru ID - MZM_1987_41_2_a15 ER -