Text this: The Elements of Mathematical Logic