Contribuições da lógica do desenvolvimento matemático de Irme Lakatos ao trabalho com provas e demonstrações no ensino de matemática. Revista Educação, Cultura e Sociedade, v. 3, n. 1, 15 jun.2013.