Text this: Mathematical logic for computer science.