Logika Matematika untuk Ilmu Komputer - SOESIANTO, F. (Andi, 2006)