Методика обучения доказательству с использованием средств естественного вывода при изучении курса... Математика