Text this: Structures in logic and computer science