Estoy buscando un libro de texto de lógica matemática que pueda estudiar por mi cuenta. Sin embargo, no domino mucho el inglés. Para que te hagas una idea de mi nivel de inglés, puedo leer libros infantiles como "Matilda" y libros de texto de matemáticas en inglés.
En particular, me gusta mucho el libro de Terence Tao "Analysis 1". Este libro ofrece explicaciones muy detalladas de las pruebas.
Sin embargo, el problema es que los libros con mucho lenguaje cotidiano en inglés me resultan difíciles de leer. Esto incluye libros de la categoría de filosofía.
Descubrí que los libros con títulos como "Introducción a la lógica" me resultaban más difíciles de leer. Cuantas más explicaciones había, más difícil me resultaba como hablante no nativo de inglés.
Así que me preguntaba si hay algún libro de texto de lógica matemática que me resulte fácil de leer.
He buscado mucho en Amazon y Google, pero no he encontrado un libro perfecto para mí. Consideré comprar "Introducción matemática a la lógica" de Enderton, que parece ser muy recomendable, pero las pruebas no son lo suficientemente detalladas.
Espero encontrar un libro que sea perfecto para mí, pero como el libro de Terence Tao era tan bueno, estoy buscando algo parecido.
Muchas gracias por su ayuda.