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