Logika Matematika Untuk Ilmu Komputer - Djoni Dwijono (andi offset, 2006)