Text this: Logics for Computer Science