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