deduction tree Мат. дерево вывода Источник: Полный англо-русский словарь на Gufo.me Предложить изменения deduction theorem deduction-oriented language
