Pošalji tekstualnu poruku: El descubrimiento de Harry: novela de lógica formal