Logika Matematika untuk Analisis Algoritma - Penerbit Andi