TY - BOOK AU - Makinson, David TI - Sets, logic and maths for computing SN - 9781846288449 U1 - 004.0151 PY - 2008/// CY - London PB - Springer-Verlag KW - Computer science -- Mathematics ER -