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