TY - JOUR AU - B. Z. Moroz AU - A. A. Norkin TI - On a Theorem of Matiyasevich JO - Matematičeskie zametki PY - 2020 SP - 366 EP - 379 VL - 108 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_2020_108_3_a3/ LA - ru ID - MZM_2020_108_3_a3 ER -