Text this: Mathematical logic for computer science/