@book{45623,
	author = {Makinson, David.},
	title = {Sets, logic and maths for computing /},
	publisher = {Springer,},
	year = {2008},
	series = {Undergraduate topics in computer science},
	address = {New York :}
}