Mathematical logic for computer science - Ari, Mordechai Ben (2008)