Logika Informatika - Suprapto (Dasar dasar Logika untuk Pemrograman Komputer & Perancangan Komputer, 2003)