3 ms·Hillel Wayne's “Predicate Logic for Programmers”: Status Report3 points by mbork_pl 4y agombork_pl 4y agoAs a mathematician turned programmer who taught logic to first year students for many years, I can't wait to get hold of this book.