Este libro aborda, al igual que el de Mendelson, la teoría de la recursión y presenta los conceptos de lógica matemática de manera sistemática y rigurosa.
Una introducción a la lógica matemática
por Elliott Mendelson · 1964
Ver sugerenciasSinopsis
Este texto es una introducción estándar y completa a los temas principales de la lógica matemática, incluyendo el cálculo proposicional, el cálculo de predicados, y las teorías de modelos y de la recursión.
Sé el primero en valorar este libro.
Más de Elliott Mendelson
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos textos introducen temas fundamentales de la lógica matemática y la teoría de la computación, con un enfoque detallado en funciones computables.
Se enfoca en los fundamentos clásicos de la lógica matemática similar a Mendelson, cubriendo tanto la lógica proposicional como de predicados de forma rigurosa.
Presenta una introducción a la lógica que, al igual que Mendelson, toca lógica proposicional y de predicados, enfatizando argumentos deductivos y falacias.
Como el de Mendelson, este texto ofrece una base rigurosa en lógica matemática y teorías de modelos, siendo un referente en la materia.
Ambos libros cubren lógica proposicional y teorías fundamentales de conjuntos, presentando los axiomas y teoremas de forma clara y precisa.