Mathematical logic for computer science / Mordechai Ben-Ari. - Ben-Ari, M., 1948- (Springer, 2001)