CAT 102 - PENGANTAR LOGIK DAN PENGABSTRAKAN APRIL 2000. - PPSKOM, Pusat Pengajian Sains Komputer (2000)