Logic Related Courses in CS