FORMALLY DERIVABLE Англо-русский перевод FORMALLY DERIVABLE мат. формально выводимый Big English-Russian dictionary . Большой Англо-Русский словарь. 2012