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