非常高兴地宣布，我的新书 Logic for Programmers 现已出版！你可以在发布页面查看详情，也可以直接购买电子书或纸质版。如果你之前购买过抢先体验版，可以在 Leanpub 上免费获取 1.0 正式版。

这本书酝酿已久。形式逻辑是理解软件的极其强大的工具。从“什么是左外连接”到“为什么 Square 不应该继承 Rect”，只要掌握一点逻辑基础，一切都会变得更加清晰。然而，却一直没有真正面向程序员、帮助大家学习这些基础的资源。你只能指望去啃一本数学书，或是靠耳濡目染慢慢掌握。

而靠耳濡目染是行不通的。

所以过去五年里，我一直在打造这样一份资源。Logic for Programmers 面向一线开发者，讲授基础逻辑及其广泛应用，涵盖从基于属性的测试、领域建模到逻辑编程等多个领域。它不需要任何数学基础：只要你懂 AND 和 OR，就能读懂这本书。每一章的主题我都花了数月时间深入研究，然后请领域专家审校以确保准确，再请初级程序员试读以确保通俗易懂。

总之，我现在非常疲惫，但也很高兴终于完成了。非常感谢你的阅读，希望你会喜欢这本书。