Logika Matematika untuk Ilmu Komputer Edisi 1 - F. Soesianto, Djoni Dwijono (Andi, 2011)