Title: Logics for Computer Science