Reseña

Esta obra de dos volúmenes ofrece un tratado profundo sobre la lógica matemática contemporánea, diseñada tanto para el ámbito académico como para el estudio independiente. Los autores buscan modernizar la enseñanza de esta disciplina en México, presentándola como un campo dinámico y esencial que trasciende su función auxiliar en la filosofía y la ciencia. El primer volumen introduce los fundamentos de la lógica de primer orden, la teoría de conjuntos y la lógica modal, integrando aplicaciones prácticas y teóricas. Por su parte, el segundo volumen explora métodos de prueba formal, lógicas no clásicas e intuicionistas, culminando en el estudio de las lógicas abstractas. Mediante una estructura de tres niveles de dificultad, el texto guía al lector desde conceptos básicos hasta resultados sofisticados como el Teorema de Lindström. En conjunto, la obra pretende subsanar la escasez de literatura especializada en español y fomentar el pensamiento crítico frente a los retos científicos actuales.