Logika informatika - Setiadji (Graha Ilmu, 2007)