@book{827899, author = {Huth Michael and Ryan Mark}, title = {Logic in Computer Science Modelling and Reasoning about Systems}, publisher = {Cambridge Universities Press}, year = {2014}, address = {New Delhi}, edition = {2} }