PROOF TREE Англо-русский перевод PROOF TREE дерево доказательства теоремы English-Russian dictionary of mechanical engineering and automation 2. Англо-Русский словарь по машиностроению и автоматизации производства 2. 2003