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