Ambos libros abordan la lógica matemática, pero Schoenfield se centra más en los fundamentos matemáticos y la teoría de conjuntos, complementando la introducción exhaustiva de Andrews.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
por Peter B. Andrews · 2002
Ver sugerenciasSinopsis
Una introducción exhaustiva a la lógica matemática y la teoría de tipos, cubriendo desde la lógica proposicional y de predicados hasta la teoría de modelos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Teoría de Tipos y Computación: Fundamentos y Aplicaciones
Bengt Nordström, Kent Petersson, Jan M. Smith
1990·divulgacion
Nordström y sus coautores exploran la teoría de tipos, similar al enfoque de Andrews, pero con un énfasis en su aplicación al desarrollo de software y lógica computacional.
Kleene ofrece un análisis detallado de la lógica simbólica y propiedades metamatemáticas que, como Andrews, busca profundizar en la estructura lógica de las matemáticas.
La obra de von Plato se centra en la teoría de tipos intuicionista de Martin-Löf, conectando así directamente con el interés de Andrews por la lógica y fundamentos matemáticos.
Church presenta un enfoque riguroso sobre la teoría de conjuntos y elementos fundamentales de la lógica, en línea con la exhaustividad lógica que caracteriza a Andrews.
Schoenfield, en su texto ensayístico, proporciona una cobertura sistemática de la teoría de pruebas, que se complementa bien con el enfoque exhaustivo de Andrews en lógica matemática.