Logika Informatika (dasar-dasar logika untuk pemrograman komputer & Perancangan Komputer) - SUPRAPTO (Gava Media, 2003)