可计算性与逻辑
Computability and logic
George Boolos, Richard C. Jeffrey, George S. Boolos, John P. Burgess · 初版 1974 年
- 10次提及
- 7人推荐
- 9位 HN 评论者
Hacker News 读者推荐
我翻过一堆逻辑学教材。到目前为止，在理论和实践两方面我都最喜欢 Boolos、Burgess 和 Jeffrey 写的《Computability and Logic》。http://www.amazon.com/Computability-Logic-George-S-Boolos/dp... 另一本在命题逻辑和谓词逻辑的基本证明细节方面讲得非常棒的书是《Beginning…
daviddaviddavid 在 HN 的推荐
……非常入门的介绍。之后你可能还是需要一些教材来深入学习。> 数理逻辑与哥德尔不完备定理 先看 Magnus 的《ForallX》。然后继续读 Boolos 的《Computability and Logic》（不用全读，看前言了解弄懂哥德尔不完备定理需要哪些章节）。> 集合论 Hrbacek 的《Introduction to Set Theory》—— 我目前正在开发一个在线……
philip-b 在 HN 的推荐
我第一次搞懂它是通读了《Computability & Logic》（第5版）[1]。我很想再重温一遍，也很推荐给任何感兴趣且愿意花几个周末投入进去的人。 [1] https://www.goodreads.com/book/show/1556746.Computability_an...
adz_6891 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0674324498
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。