作为代数的逻辑
Logic as algebra
Paul R. Halmos · 初版 1998 年
- 2次提及
- 1人推荐
- 2位 HN 评论者
简介
出版方简介（未经编辑的出版方数据） 这是一本不同于其他书籍的现代逻辑导论，它从代数的视角来探讨逻辑。这意味着，若从大家熟悉的代数角度切入，逻辑学的概念和结论就会变得容易理解得多。本书脱胎于 Paul Halmos 的课程，延续了他标志性的生动且具启发性的写作风格，面向包括数学、哲学、计算机科学、语言学和工程学领域的学生、教师以及业余爱好者在内的广泛读者；他们都需要去深入掌握……
Hacker News 读者推荐
……三种风格，但遗憾的是最后一种没有教材。我并不怎么感冒 logic/set theory，但在我看来，对待数理逻辑最好的切入点还是把它看作代数。沿着这条路子，Halmos 的《Logic as Algebra》就正合我意，而且文笔极佳。这本书里没有任何真正的集合论内容（比如关于大基数的），但胜在短小精悍。[1]: http://jeremykun.com/2014/02/16/elliptic-curves-as-algebraic...
j2kun 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。