Text this: First Course in Mathematical Logic