Logika dasar tradisional, simbolik, dan induktif - Abdul Halim (Widya Sarana Informatika)