MATHEMATICAL LOGIC FOR COMPUTER SCIENCE - Zhongwan,Lu (World Scientific, Singapore, 1998)
Keywords: Logic, Symbolic And Mathematical