Реализация основных дидактически принципов средствами системы компьютерной алгебры Maple для решения задач математической логики

{} [+]