Mathematical logic for computer science - Ben-Ari, Mordechai (New Delhi Springer, 2005)