TY - JOUR AU - G. T. Kozlov TI - Unsolvability of the elementary theory of lattices of subgroups of JO - Algebra i logika PY - 1970 SP - 167 EP - 171 VL - 9 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AL_1970_9_2_a3/ LA - ru ID - AL_1970_9_2_a3 ER -