Mathematical Logic for Computer Science 2nd Edition - Lu Zhongwan (World Scientific, 1998)
Keywords: Computer Science