Logika Informatika: Dasar-dasar Logika untuk Pemrograman Komputer dan Perancangan Komputer - Suprapto (Gava Media, 2003)