Text this: Aspects of Mathematical Logic