Hillel Wayne's “Predicate Logic for Programmers”: Status Report (buttondown.email)

As a mathematician turned programmer who taught logic to first year students for many years, I can't wait to get hold of this book.