Logics in Computer Science