Envoyer par SMS: Logic, Mathematics, and Computer Science