Logika informatika - Setiadji, 1937- (Graha Ilmu, 2007)