Mathematical logic for computer science by Lu, Zhongwan fromWorld scientific series in computer science 0 Type: Book
Logic in computer science: modelling and reasoning about systems by Huth, Michael, Ryan, Mark 0 Type: Book
