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