Логическое доказательство гипотез: основные пути и методы