¿Buenos libros de lógica matemática?

Question

Acabo de empezar a aprender lógica matemática. Soy estudiante de posgrado. Necesito un libro con relativamente más ejemplos. ¿Alguna recomendación?

Answer 1

Para mi trabajo en este ámbito, me remito a :

• Richard Epstein "Lógica matemática clásica"
• Wolfgang Rautenberg "Introducción concisa a la lógica matemática"
• Jon Barwise "Manual de lógica matemática"
• Jean Heijenoort "De Frege a Gödel"
• We Li "Lógica Matemática"

Rautenberg tiene muchos ejemplos, ejercicio, pero es muy pesado (al menos para mí). Epstein es bastante reciente y está muy bien explicado. Barwise es el más completo para cuando se necesita profundizar.

Answer 2

Un libro que debería leer todo el mundo en matemáticas, independientemente del nivel, es el de Wolfe Un recorrido por la lógica matemática .

Es sencillamente una lectura obligada, no he podido dejarlo. Ofrece una amplia visión de la lógica matemática y de la teoría de conjuntos, así como de su historia, y está absolutamente bien escrito. Es el mejor punto de partida para cualquiera.

Answer 3

La "Lógica Matemática" de Shoenfield. La notación es un poco anticuada, pero los ejercicios son estupendos.

Answer 4

Ebbinghaus, Flum y Thomas. Lógica matemática ( Amazon )

Answer 5

Aquí hay una página de 100 opiniones y detalles Guía de estudio de los libros de texto de lógica actualizado con bastante regularidad.