Mathematical logic for computer science - Ben-Ari, Mordechai, 1948- (Springer-Verlag, 2012)