¿Cuál es un buen libro de texto para comprender la lógica y el análisis matemático, y qué libros leen los candidatos de doctorado para el mismo?

Un libro extraordinario de los últimos tiempos es Un recorrido por la lógica matemática de Robert Wolf, de 2005, publicado por la Mathematical Association of America. Establece un nuevo precedente en la exposición, con notas históricas detalladas y antecedentes filosóficos, así como introducciones detalladas sobre cómo el tema es relevante.

Un libro indio que puedo recomendar es Un curso de lógica matemática de Shashi Mohan Srivastava de ISI Calcuta. Está escrito con énfasis en el análisis en todo momento.

Ambas son gemas en el arte de la exposición y, por lo tanto, pueden ser utilizadas con confianza por personas de otras disciplinas.

Los libros introductorios estándar sobre lógica matemática son:

  • Teoría de conjuntos y lógica , Robert R. Stoll
  • Una introducción a la lógica matemática, Elliot Mendelson
  • Un primer curso de lógica matemática, Patrick Suppes
  • Lógica Matemática, Joseph R. Shoenfield