@book{20958,
	author = {Ros, Alan},
	title = {Computer logic},
	publisher = {John Wiley},
	year = {1971},
	address = {London},
	note = { }
}