@book{158697,
	author = {Makinson, David},
	title = {Sets, logic and maths for computing},
	publisher = {Springer},
	year = {2008},
	series = {undergrauate topics in computer},
	address = {London},
	note = {includes index}
}