Envoyer par SMS: A course in mathematical logic