@book{131252,
	author = {Makinson, David.},
	title = {Sets, logic and maths for computing /},
	publisher = {Springer,},
	year = {2012.},
	address = {London :},
	note = {Includes index.}
}