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