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