作为代数的逻辑
Logic as algebra
Paul R. Halmos · 初版 1998 年
1人推荐
2位读者提及
2次提及
出版方简介（未经编辑的出版方数据） 这是一本不同于其他书籍的现代逻辑导论，它从代数的视角来探讨逻辑。这意味着，若从大家熟悉的代数角度切入，逻辑学的概念和结论就会变得容易理解得多。本书脱胎于 Paul Halmos 的课程，延续了他标志性的生动且具启发性的写作风格，面向包括数学、哲学、计算机科学、语言学和工程学领域的学生、教师以及业余爱好者在内的广泛读者；他们都需要去深入掌握……
Hacker News 上怎么说
正在加载完整评论……
……三种风格，但遗憾的是最后一种没有教材。我并不怎么感冒 logic/set theory，但在我看来，对待数理逻辑最好的切入点还是把它看作代数。沿着这条路子，Halmos 的《Logic as Algebra》就正合我意，而且文笔极佳。这本书里没有任何真正的集合论内容（比如关于大基数的），但胜在短小精悍。[1]: http://jeremykun.com/2014/02/16/elliptic-curves-as-algebraic...
…three styles, but the last unfortunately had no textbook. I'm not a huge fan of logic/set theory, but again the best treatment I can see for basic logic is to view it as algebra. In that vein, Halmos's "Logic as Algebra" was all I needed, and the prose is superb. This book does not contain any real set theory (say, about higher cardinals), but it's nice and short. [1]: http://jeremykun.com/2014/02/16/elliptic-curves-as-algebraic...
……在他的访谈中，他经常提到 George Chrystal 的《Algebra》是奠基之作。他正是用了这些思想在 C++ 中实现了 STL。另外相关的（可能？）还有 Paul Halmos 和 Steven Givant 写的《Logic as Algebra》。MAA 上的书评见 https://old.maa.org/press/maa-reviews/logic-as-algebra
…his interviews he often mentions George Chrystal's Algebra books as foundational. These are the ideas that he used to implement STL in C++. Also related (maybe?) is Paul Halmos and Steven Givant's book Logic as Algebra. MAA review at https://old.maa.org/press/maa-reviews/logic-as-algebra