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 en cierto nivel de abstracción y rigor. Las modificaciones hechas en la 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 de 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 pueda aprovechar según sus necesidades, adecuando el orden de estudio de algunas de sus secciones.
