TY - JOUR AU - E. R. Baisalov TI - An example of a theory that solves a problem of B. S. JO - Algebra i logika PY - 1991 SP - 15 EP - 16 VL - 30 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1991_30_1_a1/ LA - ru ID - AL_1991_30_1_a1 ER -