Text this: An Invitation to Mathematical Logic