@book{124439,
	author = {Huth, Michael. and Ryan, Mark},
	title = {Logic in computer science:  modelling and reasoning about systems /},
	publisher = {Cambridge University Press,},
	year = {2004.},
	address = {New York :},
	edition = {2nd ed.}
}