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.6:
- Exercises are more compact, answers now show name of exercise in title
- "Conditionals" chapter has new section on nested conditionals
- "Crash course" chapter significantly rewritten
- Starting migrating to use consistently use ``==`` for equality and ``=`` for definition. Not everything is migrated yet
- "Beyond Logic" appendix does a *slightly* better job of covering HOL and constructive logic
- Addressed various reader feedback
- Two new exercises
About the Author
I have a blog at hillelwayne.com and a newsletter at https://buttondown.email/hillelwayne/