MENGATASI KESULITAN MAHASISWA KETIKA MELAKUKAN PEMBUKTIAN MATEMATIS FORMAL. JPMIPA. 2013;18(2):152-160. doi:10.18269/jpmipa.v18i2.36130