View of Desain Lembar Kerja Mahasiswa dengan Metode Penemuan Terbimbing untuk Pembelajaran Sistem Pembuktian | Prosiding Seminar Nasional Pendidikan Matematika Universitas Pattimura