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