Text this: Principles of Mathematical Logic