Неразрешимость позитивной ∀ ∃ 3 -теории свободной полугруппы. В.Г. Дурнев — 1995 Sibirskij matematiceskij zurnal