- Acknowledgements
-
Part I: Introduction
- 1. Early access notes
- 2. A crash course in logic
-
Part II: Techniques
- 1. Refactoring code
- 2. Writing Better Tests (property testing)
- 3. Composing Code Correctly (contracts, subtyping)
- 4. Proving Code Correct (formal verification)
- 5. Working with Data (database theory)
- 6. Decoding Decisions (decision tables)
- 7. Modeling Domains (Alloy, formal specification)
- 8. Designing Systems (TLA+)
- 9. Solving Math Problems (Constraint/Integer/SMT solving)
- 10. Logic programming (Prolog, Datalog, ASP)
-
Part III: Appendices
- 1. Math notation
- 2. Useful rules
- 3. Other ideas in logic
- 4. Answers to Exercises
Logic for Programmers
This book is 97% completeLast updated on 2026-05-04
Not just for mathematicians and detectives! Learn the basics of logic and its many applications, including advanced testing, constraint solving, function composition, and code proofs. Over 50 exercises and 20 sample programs are included. No prior math background required!
Minimum price
$30.00
$40.00
You pay
Author earns
Buying multiple copies for your team? See below for a discount!
PDF
EPUB
2,092
Readers
204
Pages
About
About the Book
Logic isn’t just for mathematicians and detectives! It’s also a great addition to any programmer's toolkit. Building on the foundation of Booleans and sets, this book will teach you how to:
- Simplify complex conditionals and database queries
- Write tests that cover a hundred cases instead of just one
- Find gaps and contradictions in requirements docs
- Evolve APIs in a guaranteed backwards-compatible way
- Test a design as easily and thoroughly as you test code
- Pack more clothes in a smaller suitcase
- And more!
With over 50 exercises, 20 sample programs, and accompanying online content, Logic for Programmers serves as a friendly introduction to logic and its applications for the intermediate software developer. No math background required!
------
The book's current status is GAMMA. All of the content is in but I am still in the process of copyediting, formatting, and proofreading. The final 1.0 release will be approximately the end of June. If you buy the book now, you'll get the final release for free.
New in v0.14:
- Major copyedit and technical edit passes
- Solvers chapter now handles "unknown" result in SMT
- Rewrite of "Refinement" section of System Modeling chapter
- "Expressiveness-Guarantee Tradeoff" is now "Ability-Guarantee Tradeoff"
- "Compatibility" now "Replacement"
- Various layout changes and fixes
Feedback
Team Discounts
Team Discounts
Get a team discount on this book!
Up to 3 members
- Minimum price
- $62.00
- Suggested price
- $75.00
Up to 5 members
- Minimum price
- $100
- Suggested price
- $120
Up to 10 members
- Minimum price
- $175
- Suggested price
- $210
Up to 15 members
- Minimum price
- $250
- Suggested price
- $300
Up to 25 members
- Minimum price
- $375
- Suggested price
- $450
Author
About the Author
Testimonials
Reader Testimonials
Hillel is one of those rare people with both theory and practice in his toolbox: able to tell you what to do and why, and also how, accessibly. In the effortless software construction era we’re rapidly heading towards, Hillel’s formal foundations provide the closest thing to quality assurance - and meaningful guardrails - we’re going to get.
Niall MurphyAuthor, SRE Book
Contents
Table of Contents
Get the free sample chapters
Click the buttons to get the free sample in PDF or EPUB, or read the sample online here
The Leanpub 60 Day 100% Happiness Guarantee
Within 60 days of purchase you can get a 100% refund on any Leanpub purchase, in two clicks.
Now, this is technically risky for us, since you'll have the book or course files either way. But we're so confident in our products and services, and in our authors and readers, that we're happy to offer a full money back guarantee for everything we sell.
You can only find out how good something is by trying it, and because of our 100% money back guarantee there's literally no risk to do so!
So, there's no reason not to click the Add to Cart button, is there?
See full terms...
Earn $8 on a $10 Purchase, and $16 on a $20 Purchase
We pay 80% royalties on purchases of $7.99 or more, and 80% royalties minus a 50 cent flat fee on purchases between $0.99 and $7.98. You earn $8 on a $10 sale, and $16 on a $20 sale. So, if we sell 5000 non-refunded copies of your book for $20, you'll earn $80,000.
(Yes, some authors have already earned much more than that on Leanpub.)
In fact, authors have earned over $15 million writing, publishing and selling on Leanpub.
Learn more about writing on Leanpub
Free Updates. DRM Free.
If you buy a Leanpub book, you get free updates for as long as the author updates the book! Many authors use Leanpub to publish their books in-progress, while they are writing them. All readers get free updates, regardless of when they bought the book or how much they paid (including free).
Most Leanpub books are available in PDF (for computers) and EPUB (for phones, tablets and Kindle). The formats that a book includes are shown at the top right corner of this page.
Finally, Leanpub books don't have any DRM copy-protection nonsense, so you can easily read them on any supported device.
Learn more about Leanpub's ebook formats and where to read them
Write and Publish on Leanpub
You can use Leanpub to easily write, publish and sell in-progress and completed ebooks and online courses!
Leanpub is a powerful platform for serious authors, combining a simple, elegant writing and publishing workflow with a store focused on selling in-progress ebooks.
Leanpub is a magical typewriter for authors: just write in plain text, and to publish your ebook, just click a button. (Or, if you are producing your ebook your own way, you can even upload your own PDF and/or EPUB files and then publish with one click!) It really is that easy.