derivable formula Мат. выводимая формула Источник: Полный англо-русский словарь на Gufo.me Предложить изменения derivable derivable sequent
