Logika Informatika - Setiadji (Yogyakarta : Graha Ilmu)