En primer lugar quiero pedir disculpas por la publicación de una pregunta similar a la de otros previamente publicados.
Ya he tenido un curso de licenciatura en la lógica, pero no hemos de utilizar un texto estándar. Más bien, hablamos de las principales ideas de la lógica proposicional, lógica de predicado, y un poco en undecidability; aunque nada demasiado profundo. En consecuencia, estoy buscando un texto para avanzar en mi entendimiento a través de auto-estudio.
He desnatada a través de la lógica de los textos por Enderton, Ebbinghaus Flum Thomas, Wolfgang, y Shoenfield en mi escuela, la biblioteca y todos ellos parecen manejables.
Personalmente, me estoy inclinando hacia Shoenfield o EFT.
Mis dudas/preguntas son:
1.) Son las anotaciones de estos viejos textos severamente obsoleta?
2.) Hacer que cubren distintos sistemas?
3.) Hay convenios que simplemente ya no se utiliza con los antiguos textos?
4.) Serían estos (cualquiera) hacer un buen libro para un nivel intermedio? Hay otros buenos libros que recomendarías?
Edit: debo mencionar que mi curso de licenciatura cubiertos muy poco en comparación con cualquiera de los textos. Es decir, nos desnatada sobre el modelo de la teoría y la tomamos las cosas por sentado (algunos de los cuales fueron espontáneos (ex: del Teorema de Skolem)) desde la teoría de conjuntos no era necesario.
Gracias.
