Logika Informatika (Dasar-Dasar Logika untuk Pemrograman Komputer dan Petancangan Komputer) (Gava Media, 2003)