TY - JOUR AU - A. I. Mal'tsev TI - The undecidability of the elementary theory of finite groups JO - Doklady Akademii Nauk PY - 1961 SP - 771 EP - 774 VL - 138 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DAN_1961_138_4_a7/ LA - ru ID - DAN_1961_138_4_a7 ER -