Online Public Access Catalogue

Logic in Computer Science: modelling and reasoning about systems

Michael Huth

Logic in Computer Science modelling and reasoning about systems - 2/e - New Delhi Cambridge University Press 2010 - xiv ,427

9780521670890