Разрешимость элементарной теории универсальных полуполей второго рода Р. Гуламов (1986) Sibirskij matematiceskij zurnal