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 tratar 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.