Text this: Mathematical logic and computer science /