Enviar por SMS: El descubrimiento de Harry: novela de lógica formal