@book{52881,
	author = {Makinson, David},
	title = {Sets, logic, and maths for computing},
	publisher = {Springer},
	year = {2011},
	address = {Delhi},
	note = {Includes index.}
}