Este libro es una introducción accesible a la lógica matemática y está dirigido al lector que tiene alguna experiencia e interés en el razonamiento matemático y disposición para trabajar a cierto nivel de abstracción y rigor. Las modificaciones hechas en esta segunda edición lo hacen apropiado para los cursos de posgrado o de estudiantes avanzados de licenciatura; además, se han incluido temas relevantes para la ciencia de la computación, como los modelos finitos, y se han agregado más ejemplos y explicaciones a los que ofrecía en su primera edición. Es un texto flexible que, por su estructura y manera de abordar los temas, se presta a que el lector o el profesor lo aproveche según sus necesidades, adecuando el orden de estudio de algunas de sus secciones.