逻辑的数学引论
A mathematical introduction to logic
Herbert B. Enderton · 初版 1972 年
- 11次提及
- 6人推荐
- 10位 HN 评论者
Hacker News 读者推荐
……“被反驳”，而且对它们的含义理解得一塌糊涂。这些词其实都有明确的专业定义。如果你对这些感兴趣并且能啃得下数学的严谨性，我强烈推荐 Enderton 的《A Mathematical Introduction to Logic》作为数理逻辑的通识书，以及 Smullyan 自己写的《Goedel's Incompleteness Theorems》来了解这个专题。现在，稍微为我刚才刺耳的话找点依据。在哥德尔不完备定理的语境下，一个公理系统……
anatoly 在 HN 的推荐
……是我上过的那门相关课程的教材，在亚马逊上的评价也挺不错：Karel Hrbacek 和 Thomas Jech 的《Introduction to Set Theory》，ISBN-13: 978-0824779153。Herbert Enderton 的《A Mathematical Introduction to Logic》，ISBN-13: 978-0122384523。希望能帮到你。:-)
azanar 在 HN 的推荐
……返回一个类型为 a 的值。如果你想更好地理解文章中用到的逻辑概念和记号，不妨找一本逻辑学入门教材来看看。我推荐 Enderton 的《A Mathematical Introduction to Logic》。http://www.math.ucla.edu/~hbe/amil/index.html
ionfish 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 9780122384523
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。