Text this: Cambridge summer school in mathematical logic