Pengantar Logika Matematika - RACHMAT, Setiadi (Informatika Bandung)