Logic In Computer Science