TY - JOUR AU - Ю.М. Важенин AU - Б.В. Розенблат TI - Разрешимость позитивной теории свободной счетнопорожденной полугруппы JO - Matematičeskij sbornik PY - 1981 SP - 120 EP - 127 VL - 158 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MS_1981__158_1_a5/ LA - ru ID - MS_1981__158_1_a5 ER -