Mathematical logic for computer science - Lu, Zhongwan (World Scientific Pub. Co., 1998)