This is a book about designing, verifying, and reasoning about software better. And itâs about how learning a little bit of logic, the mathematics of Booleans, unlocks all sorts of cool techniques in our field.

If you want to get a feel for what itâs like, try reading a sample chapter!