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 b.. 阅读全文
posted @ 2011-10-04 23:21 Torstan 阅读(255) 评论(0) 推荐(0) 编辑
