Αποστολή με SMS: A course in mathematical logic for mathematicians /