Logic for Programmers by Hillel Wayne