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