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