CAT 102-CSC 112 - PENGANTAR LOGIK DAN PENGABSTRAKAN FEB. 1999. - PPSKOM, Pusat Pengajian Sains Komputer (1999)