Tratado de recreación matemática y lógica formal escrito por Charles Lutwidge Dodgson bajo su conocido pseudónimo literario de Lewis Carroll. Publicado originalmente a finales del siglo XIX, la obra propone un método pedagógico e interactivo para el aprendizaje de las leyes de la lógica mediante el uso de diagramas conceptuales, fichas y problemas de ingenio. El texto guía de forma estructurada a través de la resolución de silogismos, premisas complejas y paradojas lingüísticas, combinando el rigor matemático de los enunciados con el estilo característico del autor basado en ejemplos absurdos y juegos de palabras.