Logika matematika untuk analisis algoritma | Perpustakaan Universitas Maritim Raja Ali Haji