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