Huth, Michael., Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth, Mark Ryan. - 2nd ed. - UK : Cambridge University Press, c2004. - xiii, 427 p.: ill.; This book is having Bibliographic notes. ISBN: 0521670896 Dewey Class. No.: 004.0151 / HUT/LOG