Este libro abarca todos los temas que son objeto de estudio en el programa de lógica matemática para estudiantes de diversas carreras, especialmente estudiantes de ingeniería, que ofrece el Departamento de Matemáticas de la Universidad Central. Así, en sus nueve capítulos, se aborda la teoría de conjuntos, el razonamiento lógico, la sintaxis de fórmulas, la semántica de proposiciones, la inferencia lógica, la lógica de primer orden, los silogismos categóricos, los métodos de demostración y las álgebras de Boole. En cada capítulo se ofrece al estudiante una explicación con ejemplos, seguida de una serie de problemas prácticos para ser resueltos de forma individual o en grupo, con el fin de favorecer el aprendizaje integral de todos los contenidos.