CAT102/CSC112 - PENGANTAR LOGIK DAN PENGABSTRAKAN - APR. 1999 - PPSKOM, Pusat Pengajian Sains Komputer (1999)