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.