Reseña

El objetivo principal de este trabajo es subsanar la falta de cursos avanzados en la educación superior, proporcionando a los estudiantes de matemáticas, filosofía, lingüística y computación herramientas para apreciar el rigor y la sutileza de los desarrollos lógicos recientes. La obra se concentra más en los métodos de prueba formal, en algunas extensiones de la lógica de primer orden e introduce un par de lógicas no-clásicas. También, se revisan los sistemas axiomáticos de prueba formal de Hilbert y de deducción natural. A su vez se revisan los cuatro teoremas de la lógica de primer orden: los teoremas de completud, correctud, compacidad y Löwenheim-Skolem, lo que incluye su relevancia. A su vez se analiza la aritmética de Peano y algunas de sus variantes. Por último, se introduce al lector en una lógica que representa una desviación de la lógica clásica, a saber, la lógica intuicionista.