@book{193302,
	author = {Huth, Michael. and Ryan, Mark.},
	title = {Logic in computer science:},
	publisher = {Cambridge University Press ,},
	year = {2012.},
	address = {New York :},
	edition = {2nd ed.}
}