Pengantar Logika Matematika - RACHMAT, Setiadi (Informatika, 2004)