“MENGATASI KESULITAN MAHASISWA KETIKA MELAKUKAN PEMBUKTIAN MATEMATIS FORMAL”, JPMIPA, vol. 18, no. 2, pp. 152–160, Oct. 2013, doi: 10.18269/jpmipa.v18i2.36130.