Mathematical logic for computer science. - Ben-Ari, Mordechai (Springer-Verlag, 2004)