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