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