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