Text this: Mathematical Logic for Computer Science