EFEKTIVITAS SISTEM PEMBUKTIAN SEDERHANA DALAM KEPAILITAN - HAEKAL, MUHAMMAD (2022)