Introducción a la lógica formal

Alianza Editorial, 1975. Encuadernación en tapa blanda de editorial ilustrada. 225 páginas. 20 x 13 cm. Cubiertas con señales de uso normal por recorrido del libro, interior en muy buen estado de conservación. La obra de Alfredo Deaño ofrece una introducción rigurosa pero accesible a los fundamentos de la lógica formal. El autor explica desde los principios básicos de la lógica de enunciados hasta la lógica de predicados de primer orden, combinando precisión técnica con una clara intención didáctica. Incluye numerosos ejemplos, explicaciones detalladas y un capítulo final con ejercicios resueltos para facilitar el aprendizaje. Además, analiza las implicaciones filosóficas de la lógica y presenta una visión crítica de diversos problemas contemporáneos, logrando que una materia habitualmente considerada difícil resulte comprensible e incluso amena.