Ещё несколько примеров неразрешимых теорий М.А. Тайцлин; M.A. Tajclin; M.A. Tajclin; M.A. Taislin — 1967 Algebra i Logika