Logika informatika - SETIAJI (Graha Ilmu, 2007)