数理逻辑导论
An introduction to mathematical logic
Richard E. Hodel · 初版 1995 年
- 4次提及
- 3人推荐
- 4位 HN 评论者
Hacker News 读者推荐
……为引入的概念提供了很多动机，但推进有些慢（分三个阶段引入 FOL：先是命题逻辑，再是不含量词的，最后才是完整的 FOL）——Leary 和 Kristiansen 的《A Friendly Introduction to Mathematical Logic》（网上有免费版）——这本推进快一些，跳过了命题逻辑等“较低层”的逻辑，并使用了不同的证明系统。如果你读到勒文海姆-斯科伦定理（Löwenheim-Skolem），你其实就已经对……
Tainnor 在 HN 的推荐
……以及逻辑命题（语法 vs. 语义）。出于某种原因，这本书从命题逻辑过渡到一阶逻辑的过程让我看懵了，于是我开始看下面这本书。2. Christopher C Leary 和 Lars Kristiansen 的《A Friendly Introduction to Mathematical Logic》：这本书的前两章非常棒，能让你亲眼看到一个成熟的公理化一阶证明系统是如何运作的。他们在构建……方面做得很出色。
sunday_serif 在 HN 的推荐
相关补充：E.J. Lemmon 在他的《Beginning Logic》一书中列出了一些重要的逻辑学书籍，并表示丘奇（Church）的《Introduction to Mathematical Logic》第 0 章“值得‘所有’哲学家反复读上好几遍”。
magical_spell 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。