@book{18844, author = {Makinson, David. and SpringerLink (Online service)}, title = {Sets, Logic and Maths for Computing}, publisher = {Springer-Verlag London,}, year = {2008.}, address = {London :}, url = {http://dx.doi.org/10.1007/978-1-84628-845-6} }