Fundamentos de lógica matemática

Opiniones de los lectores

El libro es un texto exhaustivo sobre lógica matemática, que ofrece una introducción bien organizada a diversos temas como la lógica proposicional, la lógica de primer orden, la teoría de conjuntos, la teoría de modelos y la teoría de la recursión. Aunque muchos críticos elogian su claridad, coherencia y profundidad, algunos señalan notables omisiones, en particular en la teoría de la demostración, lo que hace que el texto parezca incompleto en ciertas áreas.

Cobertura exhaustiva de temas de lógica matemática.

Bien escrito, con una claridad y coherencia excepcionales.

(basado en 3 opiniones de lectores)

Título original:

Fundamentals of Mathematical Logic

Contenido del libro:

Este texto introductorio de posgrado abarca la lógica matemática moderna, desde la lógica proposicional, de primer orden e infinitaria y los Teoremas de Incompletitud de Godel hasta extensas introducciones a la teoría de conjuntos, la teoría de modelos y la teoría de la recursión (computabilidad).

Basado en los más de 35 años de experiencia docente del autor, el libro desarrolla la intuición de los estudiantes presentando ideas complejas en el contexto más sencillo para el que tienen sentido. El libro es apropiado como texto de clase, para el autoestudio y como referencia sobre el estado de la lógica moderna.