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