Mathematical logic for computer science - Lu, Chung-wan (World Scientific, 1989)