Trevisan, E. P. 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.