Envoyer par SMS: First course in mathematical logic