Logic for Programmers: Using Boolean Math to Fix Software

Logic for Programmers by Hillel Wayne

I wrote this book to help intermediate programmers design and verify software better using logic. You do not need a math background, just basic knowledge of Booleans and programming concepts. The content covers practical applications like simplifying conditionals, writing better tests, and finding race conditions. Chapters are independent, allowing you to skip topics that do not fit your needs while learning techniques from formal verification to database theory.