Logics for Computer Science