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