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