Mathematical Logic For Computer Science door Lu Zhongwan