Soy un ingeniero civil que pasa todo su tiempo libre (con el permiso de mi esposa y mis dos hijos) estudiando la teoría de conjuntos y la lógica matemática. Por ejemplo, he leído y disfrutado de "Teoría axiomática de conjuntos" de Suppes, "Elementos de la teoría de conjuntos" de Enderton, "Lógica matemática" de Shoenfield o "Un curso de lógica matemática" de Bell y Machover. Ahora, mis objetivos son la historia y el desarrollo de estas dos ramas matemáticas. En este sentido estoy leyendo "Fundamentos de la teoría de conjuntos" de Fraenkel, Bar-hilleil y levy o "Laberinto del pensamiento" de José Ferreirós y me gustaría tener en la misma línea que los anteriores buenos libros en los fundamentos de la lógica matemática.
Gracias de antemano
