Mathematical logic for computer science - Lu, Zhongwan. (World Scientific, 1989)