Logic in Computer Science