Envoyer par SMS: Elementos de lógica simbólica y teoría de conjuntos con aplicaciones a ciencias de la computación /