@book{161605,
	author = {Huth, Michael. and Ryan, Mark.},
	title = {Logic in computer science :},
	publisher = {Cambridge University Press,},
	year = {2000.},
	address = {Cambridge, [England] ;}
}