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