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.
