Logic in computer science: modelling and reasoning about system - Huth, Michael (Oxford UK, 2000)
Keywords: Computer logic