CPT104/CAT102 – PENGANTAR LOGIK & PENGABSTRAKAN - APR. 2004 - PPSKOM, Pusat Pengajian Sains Komputer (2004)