@book{30683,
	author = {Makinson David},
	title = {sets,logic and maths for computing},
	publisher = {springer},
	year = {2012},
	address = {New York},
	edition = {2nd.ed.}
}