Email the Author
You can use this page to email Hillel Wayne about Logic for Programmers.
About the Book
Logic is like arithmetic for booleans. This book teaches enough formal logic to apply to a wide range of programming tasks, including database constraints, case analysis, test coverage, and more!
The book's current status is BETA. Most of the content is in but I will be changing the prose and polishing based on reader feedback. I also need to give more attention to book layout, formatting, proofreading, and paying an artist for an Actually Good Cover Page. And there's always room for more useful exercises!
I will release new betas monthly, with the final 1.0 coming sometime in early 2025. If you buy the book now, you'll get all future version for free as well as input into how it develops. I'll be raising the price to 25 once 1.0 is ready.
New in v0.5:
- All techniques chapters now have a "Further Reading" section
- "System modeling" chapter significantly rewritten
- "Conditionals" chapter expanded, now a real chapter
- "Logic Programming" chapter now covers datalog, deductive databases
- "Solvers" chapter has diagram explaining problem
- Eight new exercises
- Tentative front cover (will probably change)
- Fixed some epub issues with math rendering
About the Author
I have a blog at hillelwayne.com and a newsletter at https://buttondown.email/hillelwayne/