Text this: Discrete structures, logic and computability