CAT102 - PENGANTAR LOGIK & PENGABSTRAKAN - APR. 2000 - PPSKOM, Pusat Pengajian Sains Komputer (2000)