Игры на бесконечных деревьях и автоматы с тупиками. Новое доказательство разрешимости монадической теории двух следованийдипломная работа (Специалист)