DEDUCIBLE THEOREM Англо-русский перевод DEDUCIBLE THEOREM мат. выводимая теорема New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011