Intro to Mathematical Logic
A professor said, In the west, only those top math depts have logicians, those mediocre ones do need logicians!!
A decent program of logic should have
1. Intro to Mathematical Logic;
2. Set Theory;
3. Model Theory;
4. Computability Theory;
5. Proof Theory; and
6. Modal Logic...
So I found a famous book,
