Text this: A Concise Introduction to Mathematical Logic