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