Text this: Mathematical logic for computer science