@book{6297,
	author = {Huth Michael & Mark Ryan},
	title = {Logic in Computer Science},
	address = {South Asia},
	edition = {2nd}
}