En Introducción a la lógica, obra fundamental para estudiantes de Filosofía y Matemáticas, el autor aborda la lógica y sus transformaciones a lo largo del siglo XX, la transición de una ciencia que abarca sólo la argumentación válida, para una disciplina de carácter matemático, que involucra temas como la teoría de la recursión y el álgebra, pasando por los saberes de la filosofía de la ciencia, robótica, ingeniería de producción e informática. En esta segunda edición, además de contener un apéndice con nociones de teoría del silogismo, la lógica proposicional es presentada de manera independiente, antes del cálculo de predicados. El volumen incluye la aplicación de ejercicios y la discusión de temas como el valor semántico de las expresiones, la sintaxis del cálculo de predicados, tautologías, el cálculo proposicional clásico, conjuntos, lógicas no clásicas y la relación entre la lógica y los argumentos.