@book{326594,
	author = {Huth M. and Huth M. & Ryan M.},
	title = {Logic In Computer Science},
	publisher = {Cambridge University Press},
	year = {2010}
}