@book{29345,
	author = {Mark Ryan and Michael Huth},
	title = {Logic in computer science},
	publisher = {Cambridge University Press,},
	year = {2004},
	address = {Cambridge,USA:}
}