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,

Introduction to Mathematical Logic, Fifth Edition 

Elliott Mendelson (Author)
http://www.amazon.com/Introduction-Mathematical-Discrete-Mathematics-Applications/dp/1584888768

posted on   Torstan  阅读(256)  评论(0编辑  收藏  举报

导航

< 2011年10月 >
25 26 27 28 29 30 1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31 1 2 3 4 5
点击右上角即可分享
微信分享提示