Joseph Shoenfield

Un texto clásico de lógica matemática que cubre la teoría de conjuntos, la lógica de primer orden, la teoría de la recursión y los teoremas de incompletitud, con un enfoque en la construcción formal de estos sistemas.

Un texto de posgrado que cubre los principales temas de la lógica matemática—teoría de modelos, teoría de la recursión, teoría de la demostración y teoría de conjuntos—con un enfoque riguroso y sintético.

Un texto seminal que introduce los fundamentos de la lógica matemática, la teoría de modelos, la teoría de la recursión y la teoría de conjuntos, con un rigor formal y conceptual que establece las bases del razonamiento matemático.

Un texto clásico que introduce los conceptos esenciales de la teoría de modelos, una rama de la lógica matemática que estudia las relaciones entre teorías formales y sus interpretaciones en estructuras matemáticas.

Un texto fundamental que cubre las principales ramas de la lógica matemática, incluyendo teoría de la recursión, teoría de modelos y teoría de la prueba, presentando los conceptos de manera rigurosa y sistemática.

Este libro ofrece una introducción accesible a la teoría de conjuntos, abarcando desde los fundamentos hasta temas más complejos, y está diseñado tanto para estudiantes como para aquellos interesados en la lógica y las matemáticas.