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