Pengantar logik dan pengabstrakan untuk sains komputer by Rosni Abdullah