Logic for Programmers v0.13 has been released, now exceeding 50,000 words — a 20% increase over v0.12. Every chapter has been rewritten, with the most significant change being a shift in the Alloy chapter from data modeling to domain modeling. New content includes structural and metamorphic properties in testing, proof by induction, and answer set programming. The author signals this is the final content addition phase, with the manuscript now handed to a copy editor. Next steps include finding a technical reviewer and proofreader, fixing layout, and arranging printing with a goal of a physical copy before summer. The author also shares an upcoming conference schedule for 2026.
Table of contents
Next Steps6 Impressions