Envoyer par SMS: El descubrimiento de Harry: novela de lógica formal