Text this: Logics in Computer Science