TY - JOUR AU - G. S. Makanin TI - A reduction of the decidability problem of the theory of a free group JO - Matematičeskie zametki PY - 1986 SP - 31 EP - 35 VL - 40 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_1986_40_1_a2/ LA - ru ID - MZM_1986_40_1_a2 ER -