I've done two courses on Logic during my Bachelor course, but they were very basic. Now I'm going to start by PhD, and I'm interested in learning "real Logic". Could you please provide some references for logic, starting from the foundations, but in a "graduate level-approach"?
Giving some examples of what I want: When I first studied one-variable Calculus, my professor used Spivak's books and various exercises from some Analysis books. When I got into multi-variable calculus, the professor spent a month or so talking about general topology, and did most things in the context of Banach spaces (and translating the results for $\mathbb{R}^n$). Also, my Analysis courses were given using Rudin's "Introduction to Mathematical Analysis". I believe both Spivak and Rudin's books make "graduate level-approaches to undergraduate subjects", and that's what I'm looking for logic.
Also, if there are some references for more advanced subjects, like Model Theory, they could come in handy.
Thank you.
Best Answer
There's an expansive Teach Yourself Logic self-study Guide to the literature available (with supplementary materials) at http://www.logicmatters.net/tyl which should be helpful because it covers quite a number of texts giving some indication of their level/approach, and telling you more about what they cover.
The author's recommendations are mostly not-too-idiosyncratic, I'm informed ....