Logika Matematika - HENDRAWATI, Retno (Informatika Bandung)