“MENGATASI KESULITAN MAHASISWA KETIKA MELAKUKAN PEMBUKTIAN MATEMATIS FORMAL” (2013) Jurnal Pengajaran Matematika dan Ilmu Pengetahuan Alam, 18(2), pp. 152–160. doi:10.18269/jpmipa.v18i2.36130.