Mathematical Logic For Computer Science by Mordechai Ben-Ari