数理逻辑教程
A course in mathematical logic
Manin, I͡U. I. · 初版 1977 年
- 2次提及
- 1人推荐
- 2位 HN 评论者
Hacker News 读者推荐
对——他引用的是塔尔斯基（Tarski）而不是哥德尔（Goedel）。不对——哥德尔的证明难度并没有比塔尔斯基高多少，适用范围也不比他更广。在马宁（Manin）的《数理逻辑教程》（A Course In Mathematical Logic，施普林格出版 - http://www.amazon.com/Course-Mathematical-Logic-Graduate-Mat...）中，哥德尔定理就是作为塔尔斯基定理的一个推论来证明的。强烈向那些懂数学、想对逻辑学来个既高深又开阔的入门的人推荐马宁这本书。马宁……
joe_the_user 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0387902430
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。