HERBERT B. ENDERTON – Una Introducción Matemática a la Lógica
En «Una Introducción Matemática a la Lógica», Herbert B. Enderton ofrece una guía completa de la lógica matemática. El libro está diseñado para ser accesible a los lectores sin experiencia previa en matemáticas, y cubre los conceptos básicos de la lógica proposicional y la lógica de primer orden.
Enderton presenta la lógica de manera rigurosa y formal, utilizando un lenguaje claro y conciso que permite al lector entender los conceptos clave de la lógica. El libro está organizado en una serie de capítulos, cada uno de los cuales se enfoca en un tema específico, como la sintaxis y la semántica de la lógica proposicional y de primer orden, la teoría de modelos y la teoría de la computación.
Además, el libro incluye ejemplos detallados, problemas de práctica y ejercicios que ayudan a los lectores a consolidar sus conocimientos y habilidades. La obra también se acompaña de un apéndice que proporciona una breve introducción a la teoría de conjuntos y una lista de símbolos y términos matemáticos utilizados en el libro.
[DESCARGA]