Mathematical logic for computer science - Ben-Arî, Môtî 1948- (Springer, 2003)