I currently don't know what books I should read after having studied elementary logics/set theory, so I'd be glad if I can get some recommendations. My classes used the following two books for logics/set theory respectively:
- A Mathematical Introduction to Logic, Herbert B.Enderton
- Introduction to Set Theory, Karel Hrbacek/Thomas Jech
We've dealt up to choice of axiom/ordinals in set theory, and soundness, completeness in first-order language/computability/proof of Gödel's incompleteness theorem(+a bit of model theory) in logics class.
The problems I have now:
- I studied set theory first, and had a hard time understanding why every proof seems to be more about logics behind it. Some of the doubts became clear after I've studied logics, but still the connection between logics and set theory is rather unclear to me. For example, what is the universe(as in a first-order language) of set theory?
- The logics textbook was way too verbose, and sometimes introducing a concept only naively, thereby brining more confusion. On the other hand, the set theory book was a bit tough for me as a beginner.
So basically, my brain is full of all the results about logics/set theory but not in a coherent way. I tried to read other introductory level books but it became too tiresome for me. As my experience says, I think it's better to grab a book which deals logics in a more general settings to clear my doubts; probably not just limiting the topics to first-order language. After that, reading an intermediate level set theory book would be nice, I thought.
I'd much prefer dry books especially in these fields rather than verbose ones. Any recommendations are welcomed.