……特里·普拉切特（Terry Pratchett）的《午夜将至》（I Shall Wear Midnight）——这可是《碟形世界》（Discworld）啊。赶紧去读，就现在！中间顺便把《帽子里装满天空》（A Hat Full of Sky）也读了。然后我还读了一堆教材，就不一一列举了。不过……雷蒙德·斯穆里安（Raymond Smullyan）的《逻辑迷宫》（Logical Labyrinths）——内容扎实又有趣，一本披着逻辑教材外皮的研究生级一阶逻辑入门书。
…Midnight by Terry Pratchett -- It's Discworld. Go read them. NOW. And read A Hat Full of Sky in the middle. Then there's been a lot of textbooks I've been reading, which I won't list. Though... Logical Labyrinths by Raymond Smullyan -- dense, and fun, a graduate-level intro textbook to first-order logic disguised as a logic textbook.
…'Elementary Formal Systems' is my favorite presentation of computability, and there's a lot of really deep stuff in there about the interaction between incompleteness, uncomputability, and fixed-points. Also, Logical Labyrinths is a pretty great textbook on formal logic. The first half is in the form of one of his puzzle books, introducing notions and building intuitions, while the second half builds off of them to provide a…
……特里·普拉切特（Terry Pratchett）的《午夜将至》（I Shall Wear Midnight）——这可是《碟形世界》（Discworld）啊。赶紧去读，就现在！中间顺便把《帽子里装满天空》（A Hat Full of Sky）也读了。然后我还读了一堆教材，就不一一列举了。不过……雷蒙德·斯穆里安（Raymond Smullyan）的《逻辑迷宫》（Logical Labyrinths）——内容扎实又有趣，一本披着逻辑教材外皮的研究生级一阶逻辑入门书。
…Midnight by Terry Pratchett -- It's Discworld. Go read them. NOW. And read A Hat Full of Sky in the middle. Then there's been a lot of textbooks I've been reading, which I won't list. Though... Logical Labyrinths by Raymond Smullyan -- dense, and fun, a graduate-level intro textbook to first-order logic disguised as a logic textbook.
……《初等形式系统》（Elementary Formal Systems）是我最喜欢的一本讲可计算性的书，里面大量深入探讨了不完备性、不可计算性与不动点之间的相互作用。另外，《逻辑迷宫》（Logical Labyrinths）也是一本极好的数理逻辑教材。前半部分采用了他一贯的谜题书形式，介绍概念并建立直觉；而后半部分则以此为基础，构建起了一套……
…'Elementary Formal Systems' is my favorite presentation of computability, and there's a lot of really deep stuff in there about the interaction between incompleteness, uncomputability, and fixed-points. Also, Logical Labyrinths is a pretty great textbook on formal logic. The first half is in the form of one of his puzzle books, introducing notions and building intuitions, while the second half builds off of them to provide a…