HAEKAL, MUHAMMAD (2022) EFEKTIVITAS SISTEM PEMBUKTIAN SEDERHANA DALAM KEPAILITAN. S1 thesis, UNIVERSITAS SULTAN AGENG TIRTAYASA.