Logika Informatika - <Setiadji> (Graha Ilmu, 2007)