Logika Informatika (Dasar-Dasar logika Untuk Pemrograman Komputer & Perancangan Komputer) - SUPRAPTO (Gava Media, 2003)