@book{34750,
	author = {HUTH MICHAEL},
	title = {LOGIC IN COMPUTER SCIENCE},
	publisher = {CAMBRIDGE PUBLISHERS},
	year = {2010}
}