This post announces the free release of the second chapter of the book 'Logic for Programmers' on predicate logic, along with the book's availability in print.
<p><a href="https://logicforprogrammers.com" target="_blank"><em>Logic for Programmers</em></a> has now been out for a month! To celebrate, I'm releasing the entire second chapter, "A Crash Course in Logic", for free on my blog. <a href="https://www.hillelwayne.com/post/predicate-logic/" target="_blank">Read it here!</a></p>
# New Post: A Crash Course in Predicate Logic
Source: [https://buttondown.com/hillelwayne/archive/new-post-a-crash-course-in-predicate-logic](https://buttondown.com/hillelwayne/archive/new-post-a-crash-course-in-predicate-logic)
September 1, 2026[*Logic for Programmers*](https://logicforprogrammers.com/)has now been out for a month\! To celebrate, I'm releasing the entire second chapter, "A Crash Course in Logic", for free on my blog\.[Read it here\!](https://www.hillelwayne.com/post/predicate-logic/)
*If you're reading this on the web, you can subscribe here\. Updates are once a week\. My main website is*[*here*](https://www.hillelwayne.com/)*\.*
[*Logic for Programmers*](https://logicforprogrammers.com/)*is now*[*available in print*](https://logicforprogrammers.com/print)*\!*
Don't miss what's next\. Subscribe to Computer Things:
Email
[OlderVim wants you to control, VSCode wants you to consume](https://buttondown.com/hillelwayne/archive/vim-wants-you-to-control-vscode-wants-you-to/)#### Add a comment:
Posting this comment will subscribe you to this newsletter with the email address you enter\.
A blog post providing a crash course in predicate logic for programmers, explaining predicates, Boolean operators, and syntax to make formal logic accessible.
Hillel Wayne announces the completion and 1.0 release of his book 'Logic for Programmers', a guide to using logic in software development, now available in print and as a free update for early ebook buyers.
Hillel Wayne announces supplementary chapters for his book 'Logic for Programmers', covering topics like concurrent processes, first-order logic, Liskov's history rule, and orders.
Hillel Wayne announces the v0.13 release of his book 'Logic for Programmers', with significant rewrites and new content, and outlines next steps toward a print edition.
A practical book introducing logic for programmers to improve software design, verification, and reasoning, covering topics from simplifying conditionals to formal verification and constraint solving.