Mathematical Logic for computer science - Zhongwan L (Singapore World Scientific, 1989)
Keywords: Electronic data processing; Mathematical logic