@book{21375,
	author = {Huth, Michael, and Ryan, Mark,},
	title = {Logic in computer science :},
	publisher = {Cambridge University Press,},
	year = {2004.},
	address = {Cambridge [U.K.] ;},
	edition = {2nd ed.},
	url = {http://www.loc.gov/catdir/samples/cam041/2004045921.html}
}