TY - JOUR T1 - Proof in mathematics education: research, learning and teaching JO - Bolema: Boletim de Educação Matemática A1 - Mazzi, Lucas Carato SN - 0103-636X UL - 10.1590/1980-4415v28n48r02 VL - 28 Y1 - 2014 PB - Brasil ER -