Mathematical logic for computer science - Ben-Ari, M. 1948- (Prentice Hall, 1993)