¿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

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.

Answer 2

Cori, Lascar, Pelletier, Lógica matemática: Un curso con ejercicios -- Parte I y Parte II . Especialmente el segundo.

Answer 3

Debería echar un vistazo a D. Van Dalen: Lógica y estructura .

Answer 4

Le sugiero que lea:

• El fenómeno de la incompletitud, por H. Judah y M. Goldstern.
• Hay unos apuntes del curso en línea muy buenos de L. van den Dries: http://www.math.uiuc.edu/~vddries/410notes/main.dvi
• Una introducción matemática a la lógica por H. Enderton.
• Lógica matemática, por H.-D. Ebbinghaus, J. Flum y W. Thomas.

Answer 5

Hace poco empecé a estudiar de Introducción a la lógica matemática y a la teoría de tipos: A la verdad a través de la demostración por Peter B. Andrews. Es estupendo para mi nivel de conocimientos matemáticos. Quizás sea más introductorio de lo que buscas.