О решении задач математической логики с помощью системы Плэнер. Семинар по компьютерной алгебре. Факультет ВМиК МГУ и Объединенный институт ядерных исследованийтезисы доклада