Αποστολή με SMS: A Course in Mathematical Logic for Mathematicians