Mathematical Logic for Computer Science - Mordechai, Ben-Ari (Springer Verlag, 2003)