Mathematical Logic for Computer Science - Lu Zhongwan (World Scientific, 1989)
Keywords: Computer Science