逻辑方法
Methods of logic
Willard Van Orman Quine · 初版 1950 年
- 5次提及
- 3人推荐
- 5位 HN 评论者
Hacker News 读者推荐
……当时觉得挺有趣的数学冷知识。这大概是第一本让我对计算机编程产生浓厚兴趣的书。它基本上就是一本关于数学和计算机的动手实践书。W.V. Quine 的《Methods of Logic》[3]——激发了我对数理逻辑和符号计算的兴趣。整本书我没读完，但读的内容足够让我在 HP-48 GX 图形计算器上写个程序来化简……
hexagonc 在 HN 的推荐
为了让逻辑学学习书单更完整，我推荐以下几本：《Mathematical Logic》、《Set Theory and its Logic》、《Methods of Logic》。这三本全都是 Willard van Orman Quine 写的。如果你对现代逻辑学有所了解，这个名字你应该如雷贯耳。一本更浅显易懂的教材是 Tymoczko 等人写的《Sweet Reason》……
winestock 在 HN 的推荐
我喜欢 Quine 的《Methods of Logic》（第四版）。
50 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0674571762
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。