逻辑迷宫
Logical labyrinths
Raymond M. Smullyan · 初版 2009 年
- 2次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……特里·普拉切特（Terry Pratchett）的《午夜将至》（I Shall Wear Midnight）——这可是《碟形世界》（Discworld）啊。赶紧去读，就现在！中间顺便把《帽子里装满天空》（A Hat Full of Sky）也读了。然后我还读了一堆教材，就不一一列举了。不过……雷蒙德·斯穆里安（Raymond Smullyan）的《逻辑迷宫》（Logical Labyrinths）——内容扎实又有趣，一本披着逻辑教材外皮的研究生级一阶逻辑入门书。
eli_gottlieb 在 HN 的推荐
……《初等形式系统》（Elementary Formal Systems）是我最喜欢的一本讲可计算性的书，里面大量深入探讨了不完备性、不可计算性与不动点之间的相互作用。另外，《逻辑迷宫》（Logical Labyrinths）也是一本极好的数理逻辑教材。前半部分采用了他一贯的谜题书形式，介绍概念并建立直觉；而后半部分则以此为基础，构建起了一套……
mrmyers 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。