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