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