He hecho dos cursos de Lógica durante mi Licenciatura en curso, pero eran muy básicos. Ahora voy a empezar por el Doctorado, y estoy interesada en el aprendizaje de la "Lógica real". Podría por favor proporcionar algunas referencias para la lógica, a partir de los cimientos, pero en un "nivel de posgrado-enfoque"?
Dar algunos ejemplos de lo que quiero: Cuando estudié de una variable Cálculo, mi profesor utiliza Spivak libros y diversos ejercicios de algunos Análisis de los libros. Cuando llegué a la multi-variable de cálculo, el profesor pasó un mes o así, hablando de topología general, y lo hizo de la mayoría de las cosas en el contexto de los espacios de Banach (y la traducción de los resultados de $\mathbb{R}^n$). También, mi Análisis se impartieron cursos utilizando Rudin la "Introducción al Análisis Matemático". Creo que ambos Spivak y Rudin libros para hacer "el nivel de posgrado-enfoques para estudiantes de pregrado de los sujetos", y eso es lo que estoy buscando la lógica.
También, si hay algunas referencias para cursos más avanzados, como el Modelo de la Teoría, podrían venir en práctico.
Gracias.
