Mathematical logic for computer science / Lu Zhongwan. - Lu, Zhongwan (Series in computer science ;, 1998)