Logika Matematika untuk Ilmu Komputer - SUSIANTO, F