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