@book{877,
	author = {Huth, Michael},
	title = {Logic in computer science},
	publisher = {Cambridge University Press},
	year = {2004},
	address = {UK}
}