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.
<p>It's done.</p>
<p><em>Logic for Programmers</em> is now 1.0 and available in print. <a href="https://www.hillelwayne.com/post/lfp/" target="_blank">Full announcement here</a>, <a href="https://www.logicforprogrammers.com" target="_blank">official website here</a>, <a href="https://www.amazon.com/dp/B0HBLP4B26" target="_blank">direct Amazon link here</a>. If you got an early version of the ebook, you can <a href="https://leanpub.com/logic" target="_blank">go back to leanpub</a> to download the 1.0 for free.</p>
<p>This marks the completion of a project that took five years of work, six bookwriting professionals, fourteen domain experts, and fifteen public alphas. </p>
<p>This has been, without a doubt, the biggest and most exhausting project I've ever done. The examples in the discarded drafts alone could make a second book. The cursed knowledge I've gained on LaTeX and typography could fill a third (or at least a couple of entertaining blog posts). Self-publishing was simultaneously the worst and best decision I made.</p>
<p>Now excuse me I am going to sleep for a month.</p>
<p class="empty-line" style="height:16px; margin:0px !important;"></p>
<p><a href="https://logicforprogrammers.com" target="_blank"><img alt=""A book about math, software, and using one to fix the other."" class="newsletter-image" src="https://assets.buttondown.email/images/7479e71a-c21d-4051-a15b-a65065441cba.png?w=960&fit=max" /></a></p>
# Logic for Programmers is Done
Source: [https://buttondown.com/hillelwayne/archive/logic-for-programmers-is-done](https://buttondown.com/hillelwayne/archive/logic-for-programmers-is-done)
It's done\.
*Logic for Programmers*is now 1\.0 and available in print\.[Full announcement here](https://www.hillelwayne.com/post/lfp/),[official website here](https://www.logicforprogrammers.com/),[direct Amazon link here](https://www.amazon.com/dp/B0HBLP4B26)\. If you got an early version of the ebook, you can[go back to leanpub](https://leanpub.com/logic)to download the 1\.0 for free\.
This marks the completion of a project that took five years of work, six bookwriting professionals, fourteen domain experts, and fifteen public alphas\.
This has been, without a doubt, the biggest and most exhausting project I've ever done\. The examples in the discarded drafts alone could make a second book\. The cursed knowledge I've gained on LaTeX and typography could fill a third \(or at least a couple of entertaining blog posts\)\. Self\-publishing was simultaneously the worst and best decision I made\.
Now excuse me I am going to sleep for a month\.
[](https://logicforprogrammers.com/)
*If you're reading this on the web, you can subscribe[here](https://buttondown.com/hillelwayne)\. Updates are once a week\. My main website is[here](https://www.hillelwayne.com/)\.*
*My new book,*Logic for Programmers*, is now in early access\! Get it[here](https://leanpub.com/logic/)\.*
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.
Hillel Wayne announces version 0.14 of his book 'Logic for Programmers' and that he will join Antithesis as a developer educator, with plans to continue his newsletter but with a shifted focus and possibly lower frequency.
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 version 0.15 release candidate of his book 'Logic for Programmers', and highlights a livecoding meetup featuring Strudel and CLAVIER-36 for music programming.
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.