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,
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步