CAT102/CSC112 - PENGANTAR LOGIK DAN PENGABSTRAKAN - MEI 1997 - PPSKOM, Pusat Pengajian Sains Komputer (1997)