TY - JOUR AU - S. I. Adian TI - Unsolvability of some algorithmic problems in the theory of groups JO - Trudy Moskovskogo matematičeskogo obŝestva PY - 1957 SP - 231 EP - 298 VL - 6 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MMO_1957_6_a4/ LA - ru ID - MMO_1957_6_a4 ER -