Logic in computer science : - Huth, Michael 1962- (Cambridge University Press, 2004)