Logika Matematika Untuk Ilmu Komputer - F. Soesianto, Djoni Dwijono (Andi Offset, 2010)