Mathematical logic for computer science - Ben-Ari, Moti (Prentice-Hall, 1993)