CSC112 - PENGANTAR LOGIK DAN PENGABSTRAKAN - JUN 1994. - PPSKOM, Pusat Pengajian Sains Komputer (1994)