Contribuições da lógica do desenvolvimento matemático de Irme Lakatos ao trabalho com provas e demonstrações no ensino de matemática. ECS. 2013;3(1). doi:10.30681/ecs.v3i1.1134