Syamsuri, Syamsuri, Purwanto Purwanto, Subanji Subanji, and Santi Irawati. 2016. “Characterization of Students Formal-Proof Construction in Mathematics Learning”. Communications in Science and Technology 1 (2). https://doi.org/10.21924/cst.1.2.2016.2.