Mathematical Logic For Computer Science by Lu Zhongwan