Разрешимость элементарной теории включения сфер А.Д. Тайманов; A.D. Tajmanov; A.D. Tajmanov; A.D. Taimanov; A.D. Tajmanov — 1963 Algebra i Logika