Αποστολή με SMS: A Concise Introduction to Mathematical Logic