SYAMSURI, S.; PURWANTO, P.; SUBANJI, S.; IRAWATI, S. Characterization of students formal-proof construction in mathematics learning. Communications in Science and Technology, v. 1, n. 2, 30 Nov. 2016.