Mathematical Logic For Computer Science door Mordechai Ben-Ari