@book{18000,
	author = {Makinson, David},
	title = {Sets,logics and maths for computing},
	publisher = {Springer},
	year = {,2020.},
	address = {New York:},
	edition = {3rd},
	note = {Includes Index}
}