Hillel Wayne's “Predicate Logic for Programmers”: Status Report

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.