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 PRE-ALPHA, and not intended to be read by the public yet. I'm only putting it up so people giving feedback can more easily get updates. Once we enter ALPHA I'm dropping the price to 15.