TY - JOUR AU - A. D. Taimanov TI - Systems with a solvable universal theory JO - Algebra i logika PY - 1967 SP - 33 EP - 43 VL - 6 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1967_6_5_a3/ LA - ru ID - AL_1967_6_5_a3 ER -