La "Introducción a la lógica formal" pretende ofrecer unos fundamentos de lógica que, sin ceder en su rigor técnico, tienen una finalidad marcadamente didáctica, acentuada con la incorporación de un capítulo de ejercicios resueltos al final de la obra. Al analizar con detalle los problemas filosóficos suscitados por las investigaciones más recientes, la obra rompe el tono críptico y cabalístico de los manuales que consideran la lógica como un juego cerrado. De añadidura, la claridad expositiva y el talento literario del autor logran la difícil meta de que los temas propios de la lógica resulten atrayentes y aun divertidos.
Buen libro para introducirse al campo de la lógica en general. Muy bien escrito y con buenas referencias si quieres saber más. Aún así, el campo "per se" es un poco tosco y a veces sería necesario un poco más de levedad. Los ejercicios del final también ayudan al entendimiento.
Los principios de la lógica pasan por Alfredo Deaño, quien la desarrolló de una manera más cercana para poder iniciarnos en ella. Mucho comprende el estudio de esta materia pero con este libro se inicia un campo que debe perdurar en el tiempo...
Genial también como base a la lógica matemática (que cambia sólo en notación y poco más). Explicado para humanos y no para máquinas y súper sencillo de entender.
Un libro completo, bien estructurado y fácil de seguir en el que se ofrece una mirada sobre el surgimiento de la lógica formal y se va desarrollando punto por punto esta disciplina.
Leido como parte de la bibliografía básica de las asignaturas de Lógica I y Lógica II del grado de filosofía de la UNED. En otro orden de cosas, murio joven ya siendo un crack en lo suyo.