I am looking for a mathematical logic textbook that I can study on my own. However, I am not very proficient in English. To give you an idea of my English level, I can read children's books such as "Matilda" and math textbooks in English.
In particular, I really like Terence Tao's book "Analysis 1". This book provides very detailed explanations of proofs.
However, the problem is that books with a lot of everyday English language are difficult for me to read. This includes books in the philosophy category.
I found that books with titles like "A Friendly Introduction to Logic" were actually more difficult for me to read. The more explanations there were, the more difficult it was for me as a non-native English speaker.
So, I was wondering if there are any mathematical logic textbooks that are easy for me to read?
I've searched Amazon and Google extensively, but I haven't found a book that's perfect for me. I considered purchasing Enderton's "Mathematical Introduction to Logic," which seems to be highly recommended, but the proofs aren't detailed enough.
I'm hoping to find a book that's perfect for me, but since Terence Tao's book was so good, I'm looking for something similar.
Thank you very much for your help.
Have a look at the Beginning Mathematical Logic Study Guide, especially §3.4 and 3.5 which give reviews of a range of possible texts to explore.